Archiv štítku: Kurt Gödel

1. Nech je daná axiomatická sústava aritmetiky Z+. Potom..

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

Rubriky: Motta a výroky | Štítky: , | Napsat komentář