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