##### 逻辑完备性 - 逻辑完备性 - **逻辑完备性**是指一个[[形式逻辑|逻辑系统]]能够证明所有语义上为真的[[合式公式]]. [[哥德尔完备性定理]]证明谓词逻辑的完备性. 但是[[哥德尔不完备定理]]表示在一个足够强的, 一致的, 公理化系统中, 总存在无法被该系统证明也无法被反驳的真命题