The key point is how we find the axioms?

• 那些公理的提出，实际上有三种途径。