Real numbers like √2 are defined by Dedekind cuts, which partition the rationals without requiring a...