質問: ∀x[x∈x∧p(x)],y⊂xとする。 このとき、∀x[x∈y∧p(x)]は成り立ちますか? ∀x[x∈x∧p(x)],y⊂xとする。 このとき、∀x[x∈y∧p(x)]は成り立ちますか?
回答: 述語論理では変数のとりうる値の「集合」を考えることが普通で, その「全体集合」 (が集合であると仮定して) を x とすれば ∀x, x∈x は成り立つよ>#3. 全く意味はないけど.