Peano!

You might recall our previous discussions of fields. We eventually got as far as being able to define a complete, ordered field and show that the real numbers are an example of it. That was in a sense, a top-down approach. We started with a complicated set of axioms that define the behavior we want.…