„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ť.“

Potvrdené výroky

Prevzaté z Wikiquote. Posledná aktualizácia 29. jún 2022. Histórie
Kurt Gödel fotka
Kurt Gödel1
logik, matematik a filozof matematiky 1906–1978

Podobné citáty

Gabriel Laub fotka
John Ruskin fotka
Tomáš Garrigue Masaryk fotka
Ján Smrek fotka
Raniero Cantalamessa fotka
Nikolaj Vasiljevič Gogol fotka
Sigmund Freud fotka

„Najzložitejšie myšlienkové úkony sú možné bez pomoci vedomia.“

Sigmund Freud (1856–1939) rakúsky neurológ známy ako zakladateľa psychoanalýzy

Honoré De Balzac fotka

Súvisiace témy