Categories Foundations Mathematical Induction Number Theory Mathematical Induction Geometry The Square Root of 2 Is Irrational Algebra The Square Root of 2 Is Irrational