Mathematical foundations Logic¶ TBD Proofs¶ TBD Set theory¶ TBD Number systems¶ Natural numbers¶ Integers¶ Rational numbers¶