As I was trying to find a list of mathematical axioms used in modern branches of mathematics, I wondered if there's any meaning to the question of "how many mathematical axioms are there ?", and then I wondered if the list, eventually, could grow infinitly.
I suppose there are multiple ways you could cut through such a question, a few would be:
- If by axiom we take a proposition which is true (or considered so) without proof, then if A is an axiom and P is true proposition (true, proven and non-related to A), (A and P) could be considered an axiom (since true, and you can't at least prove the A part); such mechanism could grow the list of axioms, and since the list of Ps is infinite, then the list of axioms is infinit (could be a mistake in this reasoning);
- if by axiom we take an irreducible atom of logical truth (some proposition which cannot be made into parts in any understandable way);
- if by axiom we take any proposition we stumble upon which is not decidable, which we choose to consider true;
- etc. (?)
Obviously, I am an having issue with the definition of an axiom, outside of its practical use in foundational mathematical constructs, the notion is very challenging (to me at least). However, even if we go by the most down-to-earth understanding of an axiom, that is "whatever we start from to deduce theorems by a thinking process which avoids contradiction", can we make anything of the question "how many axioms are there ?" or "how many axioms could we find ?" (different questions, I am sure, but in some ways related, I guess).