Una proposta di teorie base dei Fondamenti della Matematica
Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 5 (1994) no. 1, pp. 11-22
Some basic theories of the Foundations of Mathematics are proposed, which take as primitive concepts the notions of natural number, collection, quality, operation and relation; the operations and relations we consider can be more or less complex: the natural number indicating the degree of complexity is called arity. A high degree of self-reference is reached in the theories we consider.
@article{RLIN_1994_9_5_1_a1,
author = {De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo},
title = {Una proposta di teorie base dei {Fondamenti} della {Matematica}},
journal = {Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni},
pages = {11--22},
year = {1994},
volume = {Ser. 9, 5},
number = {1},
zbl = {0797.03006},
mrnumber = {1273887},
language = {it},
url = {http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/}
}
TY - JOUR AU - De Giorgi, Ennio AU - Forti, Marco AU - Lenzi, Giacomo TI - Una proposta di teorie base dei Fondamenti della Matematica JO - Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni PY - 1994 SP - 11 EP - 22 VL - 5 IS - 1 UR - http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/ LA - it ID - RLIN_1994_9_5_1_a1 ER -
%0 Journal Article %A De Giorgi, Ennio %A Forti, Marco %A Lenzi, Giacomo %T Una proposta di teorie base dei Fondamenti della Matematica %J Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni %D 1994 %P 11-22 %V 5 %N 1 %U http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/ %G it %F RLIN_1994_9_5_1_a1
De Giorgi, Ennio; Forti, Marco; Lenzi, Giacomo. Una proposta di teorie base dei Fondamenti della Matematica. Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 5 (1994) no. 1, pp. 11-22. http://geodesic.mathdoc.fr/item/RLIN_1994_9_5_1_a1/