Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности
Matematičeskij sbornik, Tome 94 (1960) no. 1, pp. 641-646
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Mots-clés :
исчисление переменных предикатов, формализм, антиномии расселовского типа, группы определений предикатов, добавление к формализму, непротиворечивая система, переменный одноместный предикат, свободное вхождение, определяющие выражения формул, mathematical logic, mathematical logic
@article{MS_1960__94_1_a6,
author = {{\CYRD}.{\CYRA}. {\CYRB}{\cyro}{\cyrch}{\cyrv}{\cyra}{\cyrr}},
title = {{\CYRO}{\cyrb} {\cyra}{\cyrn}{\cyrt}{\cyri}{\cyrn}{\cyro}{\cyrm}{\cyri}{\cyrya}{\cyrh}, {\cyro}{\cyrs}{\cyrn}{\cyro}{\cyrv}{\cyra}{\cyrn}{\cyrn}{\cyrery}{\cyrh} {\cyrn}{\cyra} {\cyrg}{\cyrr}{\cyru}{\cyrp}{\cyrp}{\cyra}{\cyrh} {\cyro}{\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyre}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrishrt} {\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyri}{\cyrk}{\cyra}{\cyrt}{\cyro}{\cyrv}, {\cyrk}{\cyra}{\cyrzh}{\cyrd}{\cyro}{\cyre} {\cyri}{\cyrz} {\cyrk}{\cyro}{\cyrt}{\cyro}{\cyrr}{\cyrery}{\cyrh} {\cyrn}{\cyre}{\cyrp}{\cyrr}{\cyro}{\cyrt}{\cyri}{\cyrv}{\cyro}{\cyrr}{\cyre}{\cyrch}{\cyri}{\cyrv}{\cyro} {\cyrv} {\cyro}{\cyrt}{\cyrd}{\cyre}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyri}},
journal = {Matemati\v{c}eskij sbornik},
pages = {641--646},
publisher = {mathdoc},
volume = {94},
number = {1},
year = {1960},
zbl = {0114.24602},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MS_1960__94_1_a6/}
}
TY - JOUR AU - Д.А. Бочвар TI - Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности JO - Matematičeskij sbornik PY - 1960 SP - 641 EP - 646 VL - 94 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MS_1960__94_1_a6/ LA - ru ID - MS_1960__94_1_a6 ER -
Д.А. Бочвар. Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности. Matematičeskij sbornik, Tome 94 (1960) no. 1, pp. 641-646. http://geodesic.mathdoc.fr/item/MS_1960__94_1_a6/