空集合は部分集合である、というのは x ∈ A の A が φ （空集合） [ x ∈ φ ] であって φ ⊂ B になることを云います。その詳しい証明は、「いざない」 （175ページ） を読んでください──難しい証明ではないので、簡単に読むことができます。この証明が示していることは、「空集合は、任意の集合の部分集合である」 ということは 論理規則と一致しているということです。