I agree with parent comment. At the heart of your disagreement is that you seem to use definition from logic of what <i>axioms</i> are, while your opponents use &quot;definitions&quot; from metamathematics.