Remélem azt már tényleg ki tudja mindenki logikázni, hogy ha Kurt Gödel matematikus első nemteljességi tétele megbukott a tudományosság mércéi szerint, akkor velejárója, hogy a második ilyen tételének is ez a sorsa. Sőt attól tartok, hogy az úgynevezett teljességi tétele is hibás logikára épül. Mert eleve a matematikai formalizálás* mint helyes bizonyítási és érvelési módszertan lehetőségei erősen korlátozottak és rengeteg benne a hibalehetőség. Hatalmas hibalehetőség már az, hogy a sokkal több lehetséges és valós változónál csak egyes kiválasztott változókkal kalkulál és számol. Azaz nem más mint mazsolázgatás érvelési hibát vét. Tudománytörténeti tény, hogy fél matek szakma azon röhögött, amikor Gödel már a matematikai formalizálást is formalizálta és csak számokat akart használni. Ez már nem is mert át, ez már akkor megbukott.

* Az élő nyelv kiiktatását, még csak úgy kb 120-140 éve találtak ki és a matek sötét oldalát jeleníti meg. A matematikai formalizálás az, amikor a nyelvi mondatokat behelyettesíti valaki képletekbe. Már a jellegénél fogva is inkább filozofálgatás, mint matematika. Gyakorlatilag egyes matematikusok túltolták a biciklit és a filozófia / tudományfilozófia feladatait is át kívánták venni.