OpenStudy (anonymous):

Prove that the square root of 2 is irrational, as follows. Consider the set A of all positive integers x such that there exists a positive integer y such that x2=2y2. Show that if A is non-empty, it violates the well ordering principle.