Maybe I should have been clearer: Just because you say it's derivable "from logic" doesn't mean it is. No logic system can do anything without axioms, and the adoption of those axioms is an arbitrary choice.
Axioms are not arbitrary - they simply are. An axiom is a recognition of the nature of reality.