Gödel első nem teljességi tétele egyértelműen megbukott a napokban. Tehát eléggé friss dolog, max egy hetes. Bárki észrevehette volna előttem is, hogy az adott tétel csak egy trükkös átverés, becsapás , ami a hamis dilemmát használja. Tehát elve három döntési helyzetből indít, paradoxon, igaz és hamis... aztán kiveszi a paradoxont és megállapítja, hogy vannak paradoxonok. Persze nyugodtan lehet négy, öt, vagy hat féle dolog is ... ami mind igazolható, hogy az. A matekban nem akadály bármit elnevezni valaminek. A feladat lenne, aki szeret a matekban molyolni ... ezt itt fent és Gödel első nemteljességi tételeit összevetni.

bővebben itt