1906-78:
tjekkisk-amerikansk matematiker og logiker. Det i 1931 fremsatte Gödels bevis,
der siger at hvis et formelt system, som fx aritmetikken, er modsigelsesfrit,
så kan denne modsigelsesfrihed ikke bevises i systemet selv; Gödels bevis
bevirkede en omvæltning i logikkens udvikling.
........................................................................................................................