一类试图通过添加元素来完善域并简化其理论的过程。
存在性闭包
另请参阅
模型完备化使用 Wolfram|Alpha 探索
参考文献
Manders, K. L. "Domain Extension and the Philosophy of Mathematics." J. Philos. 86, 553-562, 1989.在 Wolfram|Alpha 上被引用
存在性闭包请引用为
Weisstein, Eric W. “存在性闭包。” 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/ExistentialClosure.html