Конструктивная теория множеств
- Метатеоретические свойства теории могут быть нарушены добавлением новых аксиом.
- Церковный тезис является метатеоретическим свойством, которое может быть принято или отвергнуто в зависимости от теории.
- Добавление принципа исключенной середины может привести к нарушению метатеоретических свойств теории.
- Конструктивные теории множеств могут быть агностичными по отношению к классическим и антиклассическим аксиомам.
- Конструктивные принципы доказывают непротиворечивость и исключают возможность одновременного опровержения утверждений.
- Теория может допускать отказ от принципа исключенного среднего без предоставления конкретного примера.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: