What a mathematical proof actually does is show that certain conclusions, such as the irrationality of , follow from certain premises, such as the principle of mathematical induction. The validity of these premises is an entirely independent matter which can safely be left to philosophers.
Timothy Gowers (2010). “Mathematics”, p.50, Sterling Publishing Company, Inc.
