Categories

Prove sqrt(2) in R by showing x · x = 2 where x = A|B is the cut in Q with A = {r in Q : r ≤ 0 or r² < 2}