Парадокс Бурали-Форти
- Парадокс Бурали-Форти — антиномия в теории множеств, связанная с вопросом о том, является ли множество Ω множеством.
- Определение Ω включает использование порядковых классов, что приводит к противоречивым утверждениям.
- Современные аксиомы формальной теории множеств, такие как ZF и ZFC, обходят антиномию, не допуская построения множеств с использованием определенных терминов.
- Система Куайна «Новые основания» использует другое решение для разрешения парадокса Бурали-Форти.
Полный текст статьи: