Arithmetic

This cluster grounds arithmetic in formal structures used in higher mathematics: axioms, recursion, and algebraic properties.

Entry Points

• Curriculum
• Glossary
• Skills