Lectures on the Philosophy of Mathematics

by Joel David Hamkins

Rather, we seek to use the cuts to define what the real numbers are, or at least what they could be. According to this account, a real number is a Dedekind cut in the rational numbers.