$\Bbb R$ Axioms

$\sqrt 2\in \Bbb R$

Revising the proof.

Any length, by enough small steps.

Rational and irrational density.