克拉斯纳引理指出，如果 
是一个具有赋值 
的完备域，
是 
的一个固定的代数闭包，带有 
的规范扩展，并且 
是其关于 
的完备化，那么 
仍然是代数闭的。
克拉斯纳引理
参见
非阿基米德赋值此条目由 José Gallardo Alberni 贡献
使用 Wolfram|Alpha 探索
请引用为
Alberni, José Gallardo. "克拉斯纳引理." 来自 MathWorld--一个 Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/KrasnersLemma.html