Category:クルト・ゲーデル

Gödel metric

Gödel numbering

Gödel's speed-up theorem

Gödel, Escher, Bach

Gödel Prize

Constructible universe

Gödel's completeness theorem

Gödel's incompleteness theorems

Kurt Gödel