There is no satisfying answer to the question of what axioms one should take. You either can't prove what seems obvious or you end up with some very strange the

There is no satisfying answer to the question of what axioms one should take. You either can't prove what seems obvious or you end up with some very strange theorems.