Аннотация:
Определяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств Цермело–Френкеля относительно введенной семантики.
Ключевые слова:интуиционизм, теория множеств, вид, перечислимое множество, рекурсивная реализуемость.
Полный текст:
PDF файл (253 kB)