Daniel Marks on Nostr: Mathematics is definable using axioms with theorems deduced from these axioms. This ...

Mathematics is definable using axioms with theorems deduced from these axioms. This makes mathematics extremely concrete in that any true theorem can be verified by examining the steps of deduction or induction. Sometimes concepts in physics or other sciences can be usefully axiomatized allowing for similar rigor. However concepts such as "health" or "security" if axiomatized would be too narrow and technical to be useful definitions, but maybe a useful exercise.