The starting point for rigorous reasoning in mathematics is a system of axioms. An axiom is a statement that is assumed, without demonstration, to be true. It is usually self-evident, for example, ...
The uncompromising ethos of pure mathematics in the early post-war period was that any theorem should be provided with a proof which the reader could and should check. Two things have made this no ...