Detalji
Povijest matematike i logika matematičkog otkrića, tj. filogeneza i ontogeneza matematičkog mišljenja, ne mogu biti razvijene bez kritike i konačna odbacivanja formalizma.
Srž ove studije slučaja izazvat će matematički formalizam, ali neće izravno izazvati posljednje položaje matematičkog dogmatizma. Njezin je skromni cilj razraditi bitnu misao da se neformalna, kvaziempirijska matematika ne razvija monotonim povećanjem broja nesumnjivo utemeljenih teorema, nego neprestanim poboljšavanjem nagađanja i razmišljanjem i kritikom, a također i logikom dokaza i opovrgavanja.