ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Определяется конструктивная семантика для языка теории множеств с атомами, основанная на трактовке множеств как рекурсивно перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств с атомами ZFA относительно введенной семантики.