>>14264052We dont know if a statement is true unless if it's either the consequence of an axiom, or blatantly and obviously true. Something cant be an axiom if it's the consequence of an axiom, that's just a theorem. Similarly there are only a finite number of immediately obvious statements, like 1=1, or that all the angles of triangles add up to 180 in the euclidean plane, etc. Usually once you start studying abstract algebra it becomes immediately obvious what needs to axiomatized and when.
