The Completeness Axiom helps us prove the existence of nth roots of positive real numbers, but the proof is quite challenging.
Real Analysis Study Help for Baby Rudin, Part 1.6

Bill Kinney's Blog on Mathematics, Applications, Life, and Christian Faith
As a formal “If…, then…” statement, it reads: If then
is not a rational number. A more informal statement of this is “the square root of two is irrational”.
But what is a … Read the rest