Hát ez nem igazán tétel, legfeljebb a naiv halmazelméletben. A ZFC-ben ilyen entitások létezése axiomatikusan tilva van a a regularitási axiómával.