**Axiom 1:** All rational numbers can be expressed as a fraction of two integers.

**Axiom 2** Let be the property of a fraction being in lowest terms. If both the denominator and numerator are even then the fraction is not in its lowest terms because would be a common factor.

Assume it the square root is rational.