Mathematical reasoning is deductive in the sense that it is based upon definitions which, as far as the validity of the reasoning is concerned (apart from any existential import) needs only the test of self-consistency. Thus no external verification of definitions is required in mathematics, as long as it is considered merely as mathematics.

A Treatise on Universal Algebra, with Applications, Preface (p. vi)