В философии математики , особенно в философских основах теории множеств , ограничение размера - это концепция, разработанная Филипом Журденом и / или Георгом Кантором, чтобы избежать парадокса Кантора . Он определяет некоторые «противоречивые кратностей», в терминологии Кантора, которые не могут быть наборы , потому что они «слишком большой». В современной терминологии они называются собственными классами .
Используйте [ редактировать ]
Аксиома ограничения размера является аксиомой в некоторых вариантах теории множеств фон Нейман-Бернайс-Гёделя или теорию множеств Морса-Келли . Эта аксиома гласит, что любой класс, который не является «слишком большим», является набором, а набор не может быть «слишком большим». «Слишком большой» определяется как достаточно большой, чтобы класс всех наборов мог быть однозначно сопоставлен с ним.
Ссылки [ править ]
- Халлетт, Майкл (1986). Канторовская теория множеств и ограничение размера . Издательство Оксфордского университета. ISBN 0-19-853283-0.
 | Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |
 | Эта статья по теории множеств незавершена . Вы можете помочь Википедии, расширив ее . |
