[대학교이상] 집합론 공부하는데

[익명(120.21)]

Comprehension Schema 이용해서 {x∈∅| P(x)} = ∅ regardless of property P(x) 증명하라는데 에케하는건지 알려주라 게이들아 ㅠ x∈∅애초에 이런 기호를 쓸수 있긴함?

[익명(210.218)]

Y = {x∈∅| P(x)} <=> ∀X∃Y∀x(x∈Y↔x∈∅∧P(x)) 에서 x∈∅이 모든 x에 대해 거짓이라서 x∈∅∧P(x)가 항상 거짓임. 따라서 공집합