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.