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 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

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},
     year = {1985},
     volume = {Ser. 8, 79},
     number = {5},
     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
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
%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/

[1] Clavelli M. (1984) - Nuove presentazioni dei fondamenti della matematica. Tesi di laurea, Pisa.

[2] De Giorgi E. e Forti M. (1984) - Premessa a nuove teorie assiomatiche dei fondamenti della matematica. Dip. di Matematica, Pisa, Quad. n. 54.

[3] De Giorgi E. e Forti M. - Sul problema dell'autoriferimento (in preparazione).

[4] Forti M. e Honsell F. (1983) - Set theory with free construction principles. «Ann. Scuola Norm. Sup. Pisa, Cl. Sci.», (4) 10, 493-522. | fulltext EuDML | fulltext mini-dml | MR | Zbl

[5] Goedel K. (1940) - The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis. «Ann. Math. Stud.», 3, Princeton. | Zbl

[6] Rieger L. (1957) - A contribution to Gödel's axiomatic set theory, I. «Czech. Math. Journ.», 7, 323-357. | fulltext EuDML | fulltext mini-dml | MR | Zbl