# Axioms

Every proof starts somewhere. Axioms are the statements accepted without proof, such as Euclid’s postulates about points and lines, or Peano’s rules for the counting numbers. Choosing them is a quiet act that everything after depends on.

Connects to:
- [what a system is](https://mapideas.org/i/s_sys)
- [Gödel](https://mapideas.org/i/godel)
- [Proof](https://mapideas.org/i/mat_proof)
- [Who chooses the axioms?](https://mapideas.org/i/q_math_choose)
- [Which new axioms should we add?](https://mapideas.org/i/q_g_axioms)

Sources:
- [Wikipedia: Axiom](https://en.wikipedia.org/wiki/Axiom)
- [Wikipedia: Peano axioms](https://en.wikipedia.org/wiki/Peano_axioms)

Source: https://mapideas.org/i/mat_axioms · open on the map: https://mapideas.org/#mat_axioms