ゲーデルの完全性定理は、ある理論が無矛盾である、すなわちその理論によって矛盾が生じない場合だけ、その理論はモデルを持つこと述べている。
哥德尔完备性定理表明理论有一个模型当且仅当它是一致的，也就是说没有矛盾可以被该理论所证明。