JAZYK je dany slovami a pravidlami ich pouzivania
vyznam slov je dany suvislostiami v akych su pouzivane

1 MOJ SVET je MOJ JAZYK
kazdy jav moze byt jednoznacne oznaceny slovom
kazdy jav moze byt jednoznacne popisany suvislostiami v akych su
prislusne slova pouzivane s inymi slovami
javy o ktorych sa neda hovorit neexistuju
o com sa neda hovorit o tom treba mlcat

je efektivne rozhodnutelne co je a co nie je slovo, tvrdenie ci korektna
dedukcia
nerekurzivnost je slovo rekurzivneho jazyka/nekonecno je slovo
konecneho jazyka

2 ZMYSLUPLNE OTAZKY maju ZMYSLUPLNE ODPOVEDE
otazka/tvrdenie je spravne polozena ak odpoved na nu/jeho pravdivost
je mozne overit (tj overit efektivne)
tvrdenia ktorych pravdivost nie je mozne overit su redundantne a
nezmyselne tvrdenia o tomto svete

3 EFEKTIVNY ALGORITMUS odpovedajuci na otazky s efektivne verifikovatelnou
odpovedou odpoveda na vsetky otazky

Po zodpovedani vsetkych vedeckych otazok neostanu ziadne otazky

Neexistuje osud nad ktory by sa nedalo povzniest