Besonderhede van voorbeeld: -8806065085309266383

Japanese

クルト・ゲーデルが1931年に証明したもので、数学の哲学においても重要である。

Vietnamese

Những định lý được Kurt Gödel xuất bản vào năm 1931, rất quan trọng trong logic toán học và triết học của toán học.