哥德尔数的日文

• ゲーデル数

• 哥德尔、埃舍尔、巴赫:    ゲーデル、エッシャー、バッハ
• 哥德尔不完备定理:    ゲーデルの不完全性定理
• 哥德尔完备性定理:    ゲーデルの完全性定理
• 摩尔数:    ぶんしすう
• 贝尔数:    ベル数

例句与用法

1. ，xl，…，x，的哥德尔数，通常记为（x。
2. )就不是不可自证命题形式的哥德尔数。
3. )就是某个不可自证命题形式的哥德尔数。
4. 而下文中却又对特定的命题给出哥德尔数。
5. 是系统中一个可以证明的命题的哥德尔数。
6. 命题形式的哥德尔数数值不同於命题的哥德尔数数值。
7. 按标准方案，许多不同的序列可能具有相同的哥德尔数。
8. 但每一个命题形式F(x)都有一个哥德尔数，可用G(F)表示。
9. 在原文中，先称哥德尔数是针对命题形式的，是不随命题形式中的变量x而改变的。
10. 这要通过一种可以方便地在哥德尔数和公式之间（机械地）来回转换的方式来完成。

其他语言

哥德尔数的英语：godel number
哥德尔数的法语：Codage de Gödel
哥德尔数的俄语：Нумерация Гёделя