A formal background to mathematics / R. E. Edwards