Geodesic
Una teoria-quadro per i fondamenti della matematica
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 79 (1985) no. 5, pp. 55-67

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

We propose a "natural" axiomatic theory of the Foundations of Mathematics (Theory Q) where, in addition to the membership relation (between elements and classes), pairs, sets, natural numbers, n-tuples and operations are also introduced as primitives by means of suitable ground classes. Moreover, the theory Q allows an easy introduction of other mathematical and logical entities. The theory Q is finitely axiomatized in § 2, using a first-order language with a binary relation $\in$ (membership) and five constants (ground classes), and it is shown to be equiconsistent with Gödel-Bernays class theory; in fact, in § 3; both these theories are mutually interpreted inside each other. 
@article{RLINA_1985_8_79_5_a0,
     author = {De Giorgi, Ennio and Forti, Marco},
     title = {Una teoria-quadro per i fondamenti della matematica},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {55--67},
     publisher = {mathdoc},
     volume = {Ser. 8, 79},
     number = {5},
     year = {1985},
     zbl = {0635.03045},
     mrnumber = {0944373},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1985_8_79_5_a0/}
}
TY  - JOUR
AU  - De Giorgi, Ennio
AU  - Forti, Marco
TI  - Una teoria-quadro per i fondamenti della matematica
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1985
SP  - 55
EP  - 67
VL  - 79
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1985_8_79_5_a0/
LA  - it
ID  - RLINA_1985_8_79_5_a0
ER  - 
%0 Journal Article
%A De Giorgi, Ennio
%A Forti, Marco
%T Una teoria-quadro per i fondamenti della matematica
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1985
%P 55-67
%V 79
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1985_8_79_5_a0/
%G it
%F RLINA_1985_8_79_5_a0
De Giorgi, Ennio; Forti, Marco. Una teoria-quadro per i fondamenti della matematica. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 79 (1985) no. 5, pp. 55-67. http://geodesic.mathdoc.fr/item/RLINA_1985_8_79_5_a0/