Введение
Глава 1. История развития теории множеств с интуиционистской логикой: метаматематика и философские аспекты 24
Глава 2. Описание базисных теорий множеств с интуиционистской логикой и дополнительных постулатов конструктивного, интуиционистского и теоретико-множественного характера .. 92
Глава 3. Свойства ординалов в интуиционистской теории множеств. Интуиционистское доказательство совместности тезиса Чёрча с теорией множеств 100
Глава 4. Соотношения дополнительных постулатов в базисных теориях множеств с интуиционистской логикой 109
Глава 5. Независимость схемы собирания от принципа двойного дополнения множеств и vice versa в теории множеств с интуиционистской логикой 116
Глава 6. О допустимости правила Маркова в теории множеств с интуиционистской логикой. Предикаты реализуемости для теории множеств с интуиционистской логикой 126
Глава 7. Аксиома выбора в теории множеств с интуиционистской логикой 144
Глава 8. Вариант теории множеств "New Foundations" Куайна с интуиционистской логикой 151
Глава 9. Функциональные алгебраические модели для НА и теории множеств с интуиционистской логикой 159
Заключение 172
Литература 177
