|
Известия Академии наук СССР. Серия математическая, 1948, том 12, выпуск 6, страницы 569–570
(Mi im3096)
|
|
|
|
О зависимости аксиомы $В6$ от других аксиом системы Веrnays'a–Gobel'a
А. А. Марков
Аннотация:
Достигается упрощение системы аксиом Bernays'a–Godel'a путем исключения из этой системы аксиомы $В6$.
Образец цитирования:
А. А. Марков, “О зависимости аксиомы $В6$ от других аксиом системы Веrnays'a–Gobel'a”, Изв. АН СССР. Сер. матем., 12:6 (1948), 569–570
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im3096 https://www.mathnet.ru/rus/im/v12/i6/p569
|
|