Gödel nemteljességi tételei jellemzők

Kevés tétele van a tiszta matematikának, amely a matematikán kívül is komoly ismertségnek örvend. Meglehetősen nyugodtan kijelenthető, hogy nem-matematikus körökben egyetlen matematikai tételt sem övez komolyabb érdeklődés, mint Gödel 1931-ben megjelent nemteljességi tételét.