Geodesic
Sul problema dell'autoriferimento
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 6, pp. 363-372.

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

We formulate, within the frame-theory $Q$ for the foundations of Mathematics outlined in [2], a list $L$ of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory $Q+L$ would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list $L$ is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out maximal subsystems of $L$ relatively consistent with the frame-theory $Q$". No complete answer being available up to now, we leave the question to the attention of all interested mathematicians (for partial answers, see [3]). 
@article{RLINA_1986_8_80_6_a0,
     author = {De Giorgi, Ennio and Forti, Marco and Tortorelli, Vincenzo M.},
     title = {Sul problema dell'autoriferimento},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {363--372},
     publisher = {mathdoc},
     volume = {Ser. 8, 80},
     number = {6},
     year = {1986},
     zbl = {0659.03035},
     mrnumber = {0976937},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_6_a0/}
}
TY  - JOUR
AU  - De Giorgi, Ennio
AU  - Forti, Marco
AU  - Tortorelli, Vincenzo M.
TI  - Sul problema dell'autoriferimento
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1986
SP  - 363
EP  - 372
VL  - 80
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_6_a0/
LA  - it
ID  - RLINA_1986_8_80_6_a0
ER  - 
%0 Journal Article
%A De Giorgi, Ennio
%A Forti, Marco
%A Tortorelli, Vincenzo M.
%T Sul problema dell'autoriferimento
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1986
%P 363-372
%V 80
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_6_a0/
%G it
%F RLINA_1986_8_80_6_a0
De Giorgi, Ennio; Forti, Marco; Tortorelli, Vincenzo M. Sul problema dell'autoriferimento. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 6, pp. 363-372. http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_6_a0/

[1] E. De Giorgi e M. Forti (1984) - Premessa a nuove teorie assiomatiche dei fondamenti della matematica. «Dipart. di Matematica, Pisa Quad.», 45, 2-31.

[2] E. De Giorgi e M. Forti (1985) - Una teoria quadro per i fondamenti della matematica. «Atti Accad. Naz. Lincei, Rend. Sci. Mat. Fis. Nat.» (in corso di pubblicazione). | Zbl

[3J M. Forti, F. Honsell e V.M. Tortorelli - Modelli della teoria quadro con autoriferimento (in preparazione).

[4] E. De Giorgi, M. Forti e V.M. Tortorelli - Un'estensione della teoria quadro: relazioni, qualità, affermazioni, variabili, categorie, universi (in preparazione).

[5] K. Goedel (1940) - The consistency of the axiom of choice and of the generalized continuum hypothesis. «Ann. Math. Stud.», 3, Princeton. | Zbl