Posted By: lubosek (lubosek) on 'CZscience'
Title:     Re: Axiom vyberu
Date:      Thu Jan 30 12:40:53 1997

> > Nebo to melo co delat s tim, ze v libovolnem fundamentalnim systemu 
> > existuje axiom, ktery je pravdivy, ale neda se dokazat. Hilfe ... :-)
> 
> Tady bych trosinku odvazneji rekl, ze s timto to primo nesouvisi. Posledni 
> vec, kterou jsi popsal, je (prvni) Goedelova veta o neuplnosti...
> 
...coz je tvrzeni, ktere rika, ze v libovolnem KONECNEM systemu axiomu 
existuje nedokazatelne tvrzeni, pricemz toto tvrzeni je existencni. Neni 
pravda, ze je pravdive, my totiz na zaklade onech axiomu ( a pravdivych 
tvrzeni, ktere z nich plynou) nejsme schopni urcit jeho pravdivostni hodnotu. 
Goedelova veta vsak neni obecne dokazane tvrzeni, tusim, ze Goedel sam jej 
dokazal pouze pro teorie (systemy axiomu) ekvivalentni aritmetice prirozenych 
cisel. 
 
Happy (This is a lie!) Lubosek
"Emptiness is loneliness, loneliness is cleanliness, cleanliness is godliness
and God is empty just like me"
                           The Smashing Pumpkins in Zero