哥德尔完备性定理的日文

• ゲーデルの完全性定理

• 哥德尔不完备定理:    ゲーデルの不完全性定理
• 完备性:    かんびせいかんぜんせい
• 关系完备性:    かんけいかんびせい
• 哥德尔数:    ゲーデル数
• 哥德尔、埃舍尔、巴赫:    ゲーデル、エッシャー、バッハ

例句与用法

1. 这就是著名的哥德尔完备性定理。
2. 更一般版本的哥德尔完备性定理成立。
3. 对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。
4. 为了形式的陈述哥德尔完备性定理，你必须定义这个上下文中词语“模型”的意义。
5. 在现代逻辑课本中，哥德尔完备性定理通常使用Leon Henkin的证明而不是哥德尔最初的证明。
6. 在另一个方向上，哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”，在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。

其他语言

哥德尔完备性定理的法语：Théorème de complétude de Gödel
哥德尔完备性定理的韩语：괴델의 완전성 정리
哥德尔完备性定理的俄语：Теорема Гёделя о полноте