Это парадокс кучи - из него Вопенка сделал альтернативную теорию множеств и альтернативный (на самом деле - нестандартный) матан: у него там бесконечность так вводится: множества все конечные, а "бесконечными" считаются те, у которых есть подкласс, не являющийся множеством (то есть аксиома выделения заменена на ее отрицание).
Он иллюстрировал на примере превращения обезьяны в человека: ряд очевидно конечный, на одном конце - обезьяна, на другом - человек. Выделить однако подмножество обезъян очевидно невозможно.
Что не отменяет того факта, что обезъяна и человек - несколько разные разности.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-03-30 07:56 pm (UTC)Он иллюстрировал на примере превращения обезьяны в человека: ряд очевидно конечный, на одном конце - обезьяна, на другом - человек. Выделить однако подмножество обезъян очевидно невозможно.
Что не отменяет того факта, что обезъяна и человек - несколько разные разности.