Hao Wang, McNaughton R., LES SYSTÈMES AXIOMATIQUES DE LA THÉORIE DES ENSEMBLES
COLLECTION DE LOGIQUE MATHÉMATIQUE, SÉRIE A, IV
Paris, Gauthier-Villars, 1953
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней. Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
Author(s): Хао Ван, Мак-Нотон Р.
Series: Библиотека сборника "Математика"
Publisher: ИЛ
Year: 1963
Language: Russian
Commentary: Scanned, DjVu'ed, OCR'ed, TOC by Envoy
Pages: 56
City: Москва
Аксиоматические системы теории множеств (1963) ......Page 1
Предисловие редактора перевода ......Page 5
Предисловие к французскому изданию ......Page 7
От авторов ......Page 8
Глава I. Кантор. Теория множеств с наивной точки зрения ......Page 9
Глава II. Теория типов ......Page 11
А. Теория Цермело ......Page 16
Б. Теория Цермело — Френкеля ......Page 19
Глава IV. Теория множеств Неймана — Бернайса ......Page 21
А. „Зигзаг“-теория ......Page 25
Б. Расширенная теория ......Page 26
Б. Теория T1 ......Page 28
B. Теория Tn ......Page 30
Глава VII. Сила систем ......Page 33
Литература ......Page 36
Дополнительная литература ......Page 45
Таблица обозначений ......Page 49
Список аксиом, имеющих наименование ......Page 51
Указатель авторов ......Page 52
Оглавление ......Page 53
Библиотека сборника "Математика" ......Page 55
