TY - BOOK AU - Френкель,Абрахам Адольф AU - Бар-Хиллел,Иегошуа AU - Есенин-Вольпин,Александр Сергеевич TI - Основания теории множеств T2 - Физико-математическое наследие : ФМН. Математика (основания математики и логика) SN - 9785397011310 PY - 2010/// CY - Москва PB - ЛИБРОКОМ KW - Множеств теория KW - RuMoRKP KW - основания математики KW - Цермело система KW - аксиоматическая теория множеств, системы KW - математическая логика KW - логицизм (мат.) KW - интуиционизм (мат.) KW - формализм (мат.) KW - математика, методологические проблемы KW - Цермело-Френкеля множеств теория, аксиоматизация KW - антиномии KW - антиномии логические KW - антиномии семантические KW - аксиома выбора (мат.) KW - аксиомы бесконечности (мат.) KW - аксиомы ограничения (мат.) KW - Неймана система аксиом KW - теоретико-множественный релятивизм KW - Сколема парадокс KW - Бернайса системы аксиом KW - Геделя системы аксиом KW - теория классов общая KW - исчисление идеальное KW - Куайна математическая логика KW - Лоренцена оперативная система KW - логицистический тезис KW - непредикативное образование понятий KW - логики нестандартные KW - логическое исчисление KW - число целое, интуиция изначальная KW - последовательности свободно становящиеся KW - Брауэра множества концепция KW - Гильберта проблемы KW - формальные системы KW - логистические системы KW - разрешимость и рекурсивность KW - арифметизация синтаксиса KW - семантика теории множеств N1 - Библиогр.: c. 422-537 ER -