Estu X, la ensemblo, kiu enhavas ciujn ensemblojn, kiuj ne sin enhavas. Ĉu X sin enhavas ?

Oni supozas, ke X ne sin enhavas,

do X enestas en la ensemblo, kiu enhavas ciujn ensemblojn, kiuj ne sin enhavas,

do X enestas en X,

do X sin enhavas !


Stranga !