If you truly want to look at Math Foundations "from scratch", you might check out the Metamath Proof Explorer: http://us.metamath.org/mpeuni/mmset.html http://

If you truly want to look at Math Foundations "from scratch", you might check out the Metamath Proof Explorer: http://us.metamath.org/mpeuni/mmset.html http://us.metamath.org/mpeuni/mmset.html This starts from axioms of logic & set theory, & proves everything else. Real and complex numbers info here: http://us.metamath.org/mpeuni/mmcomplex.html http://us.metamath.org/mpeuni/mmcomplex.html