И тут мы сталкиваемся с проблемой системы всех систем (множества всех подмножеств) - является ли она частью самой себя?