Úgy kezdődött hogy néhány matematikus fejébe vette, hogy a MATEK MINDENEK FELETTI, ....ÜBER, ... meg szárazabb érzés. ... Meg a Matek a tudományok führere, császára és királynője. Meg minden tudományok tudománya és alapja. Logikák logikája és mindent lehet vele helyettesíteni, az általános logikus gondolkodást, a filozófiát és a tudományfilozófiát is. Tehát kitalálták úgy köbö 120-140 évvel ezelőtt főként a tudományfilozófiát helyettesíteni kívánó szándékkal a MATEMATIKAI FORMALIZÁLÁST. Aminek később és főként a számítás és irányítástechnika miatt lett jelentős haszna is persze, többek közt Neumann János (1903 -1957) a princentoni Institute for Advanced Studies matematikus professzora által, de nagy hiba, hogy azt néhányan, ettől eltérő logikai területeken túltolták.
Érdekességként megjegyzem, hogy lényeget tekintve Neumann János vette fel az adott egyetemhez Gödelt és Einsteint is alkalmazott kutatónak.
"A matematikai logika és a halmazelmélet két tantárgya a 19. század vége óta tartozik a matematikához. Ezen időszak előtt a halmazokat nem tekintették matematikai objektumoknak, és a logika, bár matematikai bizonyításokhoz használták, a filozófiához tartozott, és a matematikusok nem vizsgálták kifejezetten. ... Még mindig filozófiai vita folyik arról, hogy a matematika tudomány-e." forrás
Igazából nem egy matematika van, ahogyan "Vallás" sem csak egy van, hanem matematikák és vallások. Amelyek elveikben és szabályaikban ellenkeznek egymással.
Legyen itt kezdő ráébresztő tanpéldának egy álhír: Gödel nemteljességi tételei érvényesek. - feladat: Igaz, vagy hamis az állítás? Továbbá ez egy bizonyíthatatlan igaz állítás, vagy bizonyított is?
Egy másik ráébresztő példa is indulásként bemelegítésileg: A matematikában szinte bármit be lehet bizonyítani teljesen helyesen és szabályosan. Csak az axiómák és az axiomatikus szabályok felvételén múlik. Így a 2,4+2,4=4,8 egész számra való kerekítési, megfelelő megjelenítési és műveleti sorrend szabály utasítással éppen ilyen. Ebben az esetben 2+2=5 és teljesen logikusan és szabályosan. Továbbá 1+1=10 a kettes számrendszerben és 6x9=42 a tizenhármas számrendszerben. A matematika éppen ezért nem igazán tiszta tudomány, - hiszen kitalált dolgokkal foglalkozik, akárcsak isteneiket tekintve a vallások - csak segédtudomány. Kell hozzá más, nála sokkal tisztább tudományág valóságban is tapasztalható alátámasztása a vizsgált kérdéskörökben, hogy valóban igaz, tényszerű és hasznos lehessen.
Ezen feltárásom a matematikai formalizálás hibalehetőségeit és korlátjait érinti: Kurt Gödel (1906-1978) matematikus első nemteljességi tétele érvényes-e, vagy csak főként egy hamis dilemmára alapuló érvelési hiba? A matematikai levezetésekben, tétel alkotásokban szabad érvelési hibákat elkövetni? Tényleg csak két választási lehetőség van? Vagy van még több is? Nem kellene inkább ezt átsorolni a paradoxon példákhoz? Mint David Hilbert (1862-1943) egyik leghíresebb matematikus Grand hotel felvetése is oda van sorolva. Egyáltalán matematika ez, vagy csak igen butuska és ráadásul hibás filozofálgatás? Gödel különféle tételei egymást is cáfolják?