A natural approach to mathematics