一類試圖透過新增元素來完善域並簡化其理論的過程。
存在性閉包
另請參閱
模型完備化使用 探索
參考文獻
Manders, K. L. "Domain Extension and the Philosophy of Mathematics." J. Philos. 86, 553-562, 1989.在 上被引用
存在性閉包請引用為
Weisstein, Eric W. “存在性閉包。” 來自 —— 資源。 https://mathworld.tw/ExistentialClosure.html