LOENGUKONSPEKT semiootika
Tõestas n-ö, et jumal on hea, pani uskuma seda, sest sel ajal oli arusaam,
et saatan on võimsam kui jumal
Tema teine sama oluline projekt/teooria: jumala olemasolu tõestamine
Enda meelest saavutas selle, hijem selgus, et see vigane
Selle käigus lõi võimalikud maailmad ja modaalse loogika (erineva
võimalikkuse loogika)
Võimalikud maailmad olid vajalikud jumala olemasolu tõestamiseks
"jumal on täiuslik, kõik mis ta tegi on täiuslik" aga kust teame? Peame
võrdlema seda teiste maailmatega
kalkuleeris kõik võimalikud maailmad läbi, realiseeris parima see on
meie maailm kõikidest võimalikkudest maailmatest parim
võimalik maailm on nt eilne maailm (see maailm, mis oli eile)
Kurt Gödel (1906-1978)
Mittetäielikkuse teoreem (1931)
Kui väiteid saab tõestada süsteemi vahenditega, siis paratamatult tekivad
vastuolud
Kui süsteem/keel on konsistentne (mittevastuoluline), siis ei saa ta olla
annaabi.ee 
