Since the pioneering work of Giuseppe Peano (1858–1932), David Hilbert (1862–1943), and others on axiomatic systems in the late 19th century, it has become customary to view mathematical research as establishing truth by rigorous deduction from appropriately chosen axioms and definitions.
Desde os traballos pioneiros a finais do século XIX de Giuseppe Peano (1858–1932), David Hilbert (1862–1943) e outros acerca dos sistemas axiomáticos, fíxose habitual ver a investigación matemática como a busca da verdade mediante a dedución rigorosa a partir de axiomas e definicións elixidos axeitadamente.