I have encountered some non-logical axioms (e.g., a + b = b + a) in a linear algebra (field axioms, vector space axioms). For all those non-logical axioms I have encountered, it seems to me that they represent some obvious common sense truth. I wonder if there are some non-logical axioms in mathematics which we just accept as true without it being obvious or common sense.