File:MathFoundations119 Mathematics without real numbers