He became a severe critic of historical methodology in mathematics and was zealous in rooting out error in conjecture or assumed fact.
Siya ay naging isang mahigpit na manunuri ng mga makasaysayang pamamaraan sa matematika at noon ay sabik sa rooting out error sa haka-haka o assumed katotohanan.