Kurt Gödel (1906 – 1978)
Logik, matematik, filozof, docent a profesor.
1. Nech je daná axiomatická sústava aritmetiky Z+. Potom je vždy možné na základe tých pojmov, ktoré do sústavy vstupujú, zostaviť najmenej jednu takú vetu, ktorú pomocou danej axiomatickej sústavy nie je možné ani dokázať, ani vyvrátiť.