[gav]

Театр абсурда.
Во-первых, задача из теории множеств, а не формальной логики.
Во-вторых, формальная логика - это раздел математики, а не философии.