Category:クルト・ゲーデル

Gödel's incompleteness theorems

Kurt Gödel

Gödel's completeness theorem

Gödel, Escher, Bach

Gödel numbering

Gödel Prize

Constructible universe

Gödel's speed-up theorem

Gödel metric