dcernst / IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.
http://dcernst.github.io/IBL-IntroToProof
42 stars 22 forks source link

Can I retool things to have Completeness Axiom before Archimedean Principle #128

Closed dcernst closed 3 years ago

dcernst commented 3 years ago

I'm not circular, but it would be more comfortable if things came in the "proper" order.

dcernst commented 3 years ago

No longer relevant.