search

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

Add ZFC axioms to an appendix #112

Open dcernst opened 3 years ago

dcernst commented 3 years ago

https://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory

If I do this, reference it in section on power sets on the appendix on paradoxes.

dcernst commented 3 years ago

Maybe add Peano axioms too.