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.