$\Bbb R$ Axioms

$\sqrt 2\in \Bbb R$

Backstitching the proof.

$\Bbb Z^+$ is unbounded.

Any length, by enough small steps.

Rational and irrational density.

No real infinitesimals.