Gödelsov teorem o nepotpunosti (pojednostavljeno):
In jedem formalen System der Zahlen, das zumindest eine Theorie der natürlichen Zahlen (\N) enthält, gibt es einen unentscheidbaren Satz, also einen Satz, der nicht beweisbar und dessen Widerlegung ebenso wenig beweisbar ist (1. gödelscher Unvollständigkeitssatz). Daraus folgt unmittelbar, dass kein formales System der Zahlen, das zumindest eine Theorie der natürlichen Zahlen (\N) enthält, sich innerhalb seiner selbst als widerspruchsfrei beweisen lässt (2. gödelscher Unvollständigkeitssatz).
Ono sto si napisao je u direktnoj kontradikciji sa ovim:
Nun könnte man sich dadurch behelfen, dass man für alle Sätze, die weder bewiesen noch widerlegt werden können, einfach festlegt, ob sie als wahr oder falsch gelten. Das formale System würde dann durch diese zusätzlichen Axiome erweitert. Lesen wir jedoch erneut den Unvollständigkeitssatz, so sehen wir, dass auch hier die Voraussetzungen erfüllt sind und somit auch das erweiterte System unvollständig bleibt, da stets unbeweisbare Sätze übrigbleiben.
Teorema dakle nikada ne moze biti nepotpuna, ona se ili moze dokazati netacno unutar nekog aksiomatskog sistema, tacnom ili kao "unentscheidbar". Tada je sistem nepotpun a ne teorema. Vidis li razliku?
Na ostale stvari nisi ni odgovorio. Sve kada se sabere vrlo nesigurnu i zbunjenu sliku dajete.
Ocemo se kladit da opet nece napisat kako je nauka pala na Euklidovoj geometriji
Tada, kada je postulirano da u svemiru ne postoji pravih linija. Inverzija je sveprisutna.
Neka je Mir sa vama!