Lax
Posts:
55
Registered:
3/18/07


Foundations of mathematics... the order of bootstrapping the foundations
Posted:
Aug 20, 2013 9:58 PM


Please correct me if I'm wrong please:
This is the order of bootstrapping the foundations of mathematics:
1) Naive logic (like the ones the Greeks played with). 2) Use 1) to talk about Naive Set theory (like Halmos' book). 3) Use 2) above to define Mathematical Logic / FirstOrder Logic 4) Use 3) above to define axiomatic set theory.

