Dedekind 1872: real numbers as cuts of rationals. Order-completeness: every bounded above set has supremum. Defining property of ℝ; distinguishes from ℚ. Foundation of rigorous analysis.
Dedekind 1872: real numbers as cuts of rationals. Order-completeness: every bounded above set has supremum. Defining property of ℝ; distinguishes from ℚ. Foundation of rigorous analysis.