Gödel tétele (1931) összegezve: ha egy matematikai rendszerben minden igazság, amely a rendszer ezközeivel egyátalán kimondható (megfogalmazható), valamilyen módon a rendszeren belül be is bizonyítható, akkor ez a rendszer szükségszerûen ellentmondásos.
Másféleképpen: ha egy formális rendszer ellentmondásmentes, akkor megfogalmazható benne olyan állítás, amely a rendszer keretein belül nem bizonyítható, se nem cáfolható. (...)
Még kevésbé formalizáltan: Ha a logikánkkal minden igazságra nyitottak akarunk maradni, akkor a rendszerek váltogatása szükségszerû.