Várom a törpés feladatra a megoldást mert nagyon érdekes:D

Egyébként sajnos tényleg nem volt jó a "bizonyítás" a ZFC inkonzisztenciájára. Az alap ötletem az volt, hogy vettem a Berry paradoxont:

"Bertrand Russell G. G. Berrynek, az oxfordi egyetem könyvtárosának tulajdonítja a legkisebb olyan pozitív egész szám, amely nem nevezhető meg kevesebb, mint harminc szótaggal problémáját. A szóban forgó számot viszont épp a fenti kifejezés nevezi meg - huszonkilenc szótag felhasználásával."

És valamilyen Gödel-számozás segítségével próbáltam rekonstruálni a paradoxont. Sajnos a megoldás valahol mindig kicsúszik a kezeim közül, dehát ügyes dolog ez a PA.

Másik dolog: Az igazságnak az igazságértékeléses definíciója nem használ másodrendű halmazelméletet? Mert amikor alkotunk egy struktúrát, az csak egy naiv halmazelméleti dolog, elé kell még rakni ZFC-t, hogy teljesen korrekt legyen. Viszont ha vesszük a ZFC-n igaz mondatokat, akkor ZFC alaphalmaza egy halmaz lesz. Akkor most mi van?