Category:クルト・ゲーデル

Gödel numbering

Gödel's speed-up theorem

Gödel Prize

Constructible universe

Gödel metric

Gödel, Escher, Bach

Gödel's completeness theorem

Gödel's incompleteness theorems

Kurt Gödel