Gedelove teoreme

Za svaku teoremu postoji formalni sistem u kom se ona ipak ne može dokazati — jednostavno, izbacimo neku aksiomu koja je ključna u dokazu. Zato mislim da Gudstajnova teorema nije ilustrativan primer, jer ona može biti dokazana pomoću aksioma koje su opšteprihvaćene.

Lepšim bih nazvao primere poput ovog (upozorenje: problem koji se krije iza linka nije rešen na forumu, pa klikćete na svoju odgovornost da sebi delimično upropastite zabavu ukoliko ste na njega naišli nezavisno od ove teme ), u kojima ishod zavisi od toga hoćemo li prihvatiti tvrđenje nezavisno od opšteprihvaćenog sistema, ili pak prihvatiti njegovu negaciju.

Ukoliko se nekom ipak više dopadaju stavovi koji su tačni u jednom prihvaćenom sistemu a postaju netačni kada nešto promenimo među aksiomama, podsećam na pitanje da li se kroz tačku u ravni može povući jedna i samo jedna prava paralelna s unapred datom pravom.

Potpis

Ljubičice crvena, što si plava kô zelena trava.