# Which new axioms should we add?

Gödel hoped that stronger axioms would settle questions the usual ones leave open. Which ones to trust, and why, depends on judgments that proof alone does not supply. verify

Connects to:
- [Axioms](https://mapideas.org/i/mat_axioms)
- [Gödel](https://mapideas.org/i/godel)
- [Infinity](https://mapideas.org/i/mat_infinity)

Sources:
- [Wikipedia: Gödel’s program](https://en.wikipedia.org/wiki/Hilbert%27s_program)

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