Abstract Math, Number Types

Prove the square root of two is irrational