RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 1995, том 34, номер 1, страницы 41–43 (Mi al2293)
О противоречивости метатеории Нудельмана

В. А. Ганов


Аннотация: Доказывается противоречивость метатеории, описанной в статье А. С. Нудельмана “О метатеории множеств”, опубликованной в “Алгебре и логике” том 30, N 6 (1991), 671–692. В основе доказательства лежит метод арифметизации метаматематики.

УДК: 510

Поступило: 07.02.1994


 Англоязычная версия: DOI: 10.1007/BF00750552

Реферативные базы данных:

© МИАН, 2024