Это парадокс кучи - из него Вопенка сделал альтернативную теорию множеств и альтернативный (на самом деле - нестандартный) матан: у него там бесконечность так вводится: множества все конечные, а "бесконечными" считаются те, у которых есть подкласс, не являющийся множеством (то есть аксиома выделения заменена на ее отрицание).

Он иллюстрировал на примере превращения обезьяны в человека: ряд очевидно конечный, на одном конце - обезьяна, на другом - человек. Выделить однако подмножество обезъян очевидно невозможно.

Что не отменяет того факта, что обезъяна и человек - несколько разные разности.