それとも「公理で与えられているから導出とは言わない」とかいう下らない落ちか?