哥德尔完备性定理的日文

• ゲーデルの完全性定理

• 哥德尔不完备定理    ゲーデルの不完全性定理
• 完备性    かんびせいかんぜんせい
• 关系完备性    かんけいかんびせい
• 哥德尔数    ゲーデル数
• 哥德尔、埃舍尔、巴赫    ゲーデル、エッシャー、バッハ
• 可靠性定理    健全性
• 同质性定理    どうしつていり
• 完全性定理    かんぜんせいていり
• 连续性定理    れんぞくていり
• 遍历性定理    エルゴード定理エルゴードていり
• 不可能性定理    ふかのうせいていり
• 勃朗德尔定理    ブロンデルののていりブロンデルの定理
• 各态历经性定理    エルゴード定理エルゴードていり
• 完备    完備している.完全である.すっかり整っている. 冷气暖气设备完备／冷暖房が完備している. 这个计划还有不完备之处／この計画にはなお不備な点がある. 『比較』完备:完美 wánměi （1）どちらも「完全である」の意味をもつが,“完备”は必要なものがちゃんとそろっていることを,“完美”はすばらしくて非の打ち所のないことも表す. （2）“完备”は普通,事物を形容するだけであるが,“完美”は“完美无缺 wúquē 的人”（完全無欠の人）のように人を形容することもある.
• アローの不可能性定理    阿罗悖论
• ゲーデルの不完全性定理    哥德尔不完备定理
• ゲーデルの完全性定理    哥德尔完备性定理
• 完备系    かんぜんけい
• 哥德人    ゴート族
• 哥德堡    ヨーテボリ
• 哥德式    ゴチックゴシック
• 哥德语    ゴート語
• 预备性试航    よしけんせんこうしけんよこううんてん
• 定理    定理. 基本定理／基本定理.
• 哥德巴赫猜想    ゴールドバッハの予想
• 哥德堡足球俱乐部    IFKヨーテボリ

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

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