Войти
В философии математики, в частности в философских основах теории множеств, ограничение размера является концепцией, разработанной Филипом Журденом и / или Георг Кантор, чтобы избежать парадокса Кантора. Он определяет определенные «несовместимые множественности», в терминологии Кантора, которые не могут быть множествами, потому что они «слишком велики». В современной терминологии они называются надлежащими классами.
Аксиома ограничения размера является аксиомой в некоторых версиях множества фон Неймана – Бернейса – Гёделя. теория или теория множеств Морса – Келли. Эта аксиома гласит, что любой класс, который не является «слишком большим», является набором, а набор не может быть «слишком большим». "Слишком большой" определяется как достаточно большой, чтобы класс всех наборов мог быть однозначно сопоставлен с ним.
