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

—  Kurt Gödel

Potvrdené výroky

Prevzaté z Wikiquote. Posledná aktualizácia 29. jún 2022. Histórie
Témy
jedno , pojem , pomoc , sústava , veta , veto , základ
Kurt Gödel fotka
Kurt Gödel 1
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