| 释义 |
Gö·del AHD[gdʹl] Kurt (1906-1978) D.J.[ˈgɜːdl]K.K.[ˈgɝdl]NONE（无词性）- Czech-born American mathematician and logician best known for his proof that the consistency of a mathematical system in which the truths of arithmetic can be expressed cannot be proven from within that system (1931).哥岱尔，克特：捷克裔美国数学家及逻辑学家，以其证明数学系统的一致性最为著称于世，此理论认为算数的真理可以在此系统中表达，但却无法由此系统中证明
|