网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
关于一阶逻辑和一阶理论的一个元定理。可表述为：“若T是一阶理论，则在T的任一个模型中都有效的公式必是T的定理”。当T不含非逻辑公理时，就得一阶逻辑的完备性：“普遍有效的公式必是可证公式”。1930年哥德尔首先证明了定理，他所处理的是可数语言的情况，1949年辛钦把它推广到具有任意基数的语言的情况。这一定理表明了一阶逻辑的形式系统是完备的，它标志着传统逻辑在实现现代化的道路上迈出了决定性的一步。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。