Парадокс Бурали-Форти

Парадокс Бурали-Форти Парадокс Бурали-Форти — антиномия в теории множеств, связанная с вопросом о том, является ли множество Ω множеством.  Определение […]

Парадокс Бурали-Форти

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

Полный текст статьи:

Парадокс Бурали-Форти — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх