Ez egész beszélgetés itt off-topik. Ez a topik metamatematikáról szól, tehát a matematika vizsgálatáról matematikai módszerekkel.