How can we be sure that a set of axioms will never lead to a contradiction? If there's a contradiction, we will find it first or later. But if there's no one, how can we be sure we choosen reasonably the axioms so that no contradiction will ever arise?
Is there a general approach or for every known axiom set there was a specific proof? (In example, there exist such proof for Peano's Axioms)?