Новые фундаменты
- Теория множеств фон Неймана-Бернейса (NF) является аксиоматической теорией множеств, основанной на интуиции и понимании.
- NF включает аксиомы понимания, расширяемости и другие.
- Теория связана с расселлианской теорией неразветвленных типизированных множеств (TST).
- TST представляет собой многосортированную теорию, где каждому типу присваивается определенный тип.
- Теория запутанных типов (TTT) является расширением TST, где каждая переменная вводится порядковым номером.
- NFU — важный вариант NF, разработанный Дженсеном и уточненный Холмсом.
- Упорядоченные пары в TST, NF и NFU определяются обычным способом, но для стратификации желательно, чтобы их тип совпадал с типом их аргументов.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: