4 ms·Definitions (and axioms) are invented. Theorems are then discovered.by lixtra 4y agoDefinitions (and axioms) are invented. Theorems are then discovered.