ParentFull threadaeneasmackenzie·He hates Dedekind cuts, not real numbers. Real numbers exist all right, here are some: https://arxiv.org/abs/0805.2438View on HN