3 ms·
The axioms are chosen. The theorems follow from the chosen axioms. Which axioms to choose which are interesting or applicable are discovered.
by LanceH 4y ago
The axioms are chosen.
The theorems follow from the chosen axioms.
Which axioms to choose which are interesting or applicable are discovered.