[skulk]

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.