|
Алгебра и логика, 1995, том 34, номер 1, страницы 41–43
(Mi al2293)
|
|
|
|
О противоречивости метатеории Нудельмана
В. А. Ганов
Аннотация:
Доказывается противоречивость метатеории, описанной в статье А. С. Нудельмана “О метатеории множеств”, опубликованной в “Алгебре и логике” том 30, N 6 (1991), 671–692. В основе доказательства лежит метод арифметизации метаматематики.
Поступило: 07.02.1994
Образец цитирования:
В. А. Ганов, “О противоречивости метатеории Нудельмана”, Алгебра и логика, 34:1 (1995), 41–43
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2293 https://www.mathnet.ru/rus/al/v34/i1/p41
|
Статистика просмотров: |
Страница аннотации: | 37 | PDF полного текста: | 15 |
|