@lunareclipse Huh? That:s not even a paradox tho. The answer's yes, 'f recursive sets're allowed. The paradox arises when looking at the seta all sets which don't contain themselves.