如果 
是在一阶语言中的一组公理，并且对于任何满足 
的结构 
，命题 
成立，那么 
可以以某种适当定义的方式从 
中形式地推导出来。
哥德尔完备性定理
另请参阅
哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 勒文海姆-斯科伦定理使用 探索
参考文献
Beth, E. W. 数学基础：科学哲学研究。 Amsterdam, Netherlands: North-Holland, 1959.Gödel, K. 关于逻辑演算的完备性。 博士论文. Vienna, Austria: University of Vienna, 1929.Gödel, K. "逻辑函数演算公理的完备性。" Monatshefte für Math. u. Phys. 37, 349-360, 1930.请引用本文为
Eric W. Weisstein "哥德尔完备性定理。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/GoedelsCompletenessTheorem.html