## Dedekind’s Theory of Real Numbers

Intro Let $\mathbf{Q}$ be the set of rational numbers. It is well known that $\mathbf{Q}$ is an ordered field and also the set $\mathbf{Q}$ is equipped with a relation called "less than"…