question to chase

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

Sources

  1. Wikipedia: Gödel’s program
See it on the map →