Meglep, hogy DancingerF "érti". A válasz ugyanis rossz.
Szerinted Gergő bizonyítása rossz a szokásos elsőrendű ZFC-ben, vagy formálisan jó, de valamilyen filozófiai okból rossznak tartod?