Geodesic
A~two-sorted theory of classes and sets, admitting sets of propositional formulas
Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 2, pp. 417-435.

Voir la notice de l'article provenant de la source Math-Net.Ru

The crisis arisen in the naive set theory in the beginning of the 20th century brought to the origin of such strict axiomatic theories as the theory of sets in Zermelo–Fraenkel's axiomatics (ZF) and the theory of classes and sets in Neumann\ddf Bernays–Gödel's axiomatics (NBG). However, in the same time as the naive set theory admitted considering sets of arbitrary objects, such a natural notion as a set of propositional formulas became inadmissible in ZF and NBG. In connection with this circumstance some methods of associated admission were developed, the most known of which is the method of Gödel's enumeration. This paper is devoted to a solution of the full rights admission problem. An axiomatics of the two-sorted theory of classes and sets is exposed in it, which allows to consider sets of propositional formulas equally with sets of object elements. 
@article{FPM_1999_5_2_a4,
     author = {V. K. Zakharov and A. V. Mikhalev},
     title = {A~two-sorted theory of classes and sets, admitting sets of propositional formulas},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {417--435},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {1999},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_1999_5_2_a4/}
}
TY  - JOUR
AU  - V. K. Zakharov
AU  - A. V. Mikhalev
TI  - A~two-sorted theory of classes and sets, admitting sets of propositional formulas
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1999
SP  - 417
EP  - 435
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1999_5_2_a4/
LA  - ru
ID  - FPM_1999_5_2_a4
ER  - 
%0 Journal Article
%A V. K. Zakharov
%A A. V. Mikhalev
%T A~two-sorted theory of classes and sets, admitting sets of propositional formulas
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1999
%P 417-435
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_1999_5_2_a4/
%G ru
%F FPM_1999_5_2_a4
V. K. Zakharov; A. V. Mikhalev. A~two-sorted theory of classes and sets, admitting sets of propositional formulas. Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 2, pp. 417-435. http://geodesic.mathdoc.fr/item/FPM_1999_5_2_a4/