"Egy kijelentõ mondat állítás, ha egyértelmû információt
hordoz és igazságértékkel bír ."
"Egy állítés igaz, ha az információtartalom a valóságnak
megfelelõ, egyébként hamis, függetlenül tudásunktól."
"Ezt a mondatot nem lehet bizonyítani" Nem állítás matematikai logika szerint ez a mondat, többek között azért, mert igazságértékkel nem bír.
Pont ezt láttad be.
Nincs ilyenfajta gebasz az Arisztotelészi logikába ezek szerint.
Egy hasonló eset ami teljesen más :) ::
"Tétel. Létezik felsorolható, de nem rekurzív nyelv.
Bizonyítás: Tekintsük azokat a Turing-gépeket, melyek nem fogadják el a saját
kódjukat inputként. Ezen Turing-gépek kódjai meghatároznak egy nyelvet. Erröl a
nyelvrõl belátható, hogy rekurzív felsorolható, ám ezzel mi nem foglalkozunk. Ha ez a nyelv még rekurzív is volna, akkor lenne egy Turing gép, amely pontosan ezt a nyelvet ismerné fel. Azaz azokat a kódokat ismerné fel, amelyhez tartozó Turinggépek nem ismerik fel magukat. Felismeri-e ez a gép saját magát? Ha nem, akkor kódja benne van a nyelvben, de akkor a definíció miatt fel kellene ismernie saját magát. Ha pedig felismeri, akkor olyan a kódja, hogy nem ismerheti fel magát.
Mindkét esetben ellentmondáshoz jutottunk, így ez a nyelv nem lehet rekurzív."