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