Dopo una breve presentazione della teoria , una teoria non riduzionista ed autoreferenziale dei fondamenti della matematica proposta da Clavelli, De Giorgi, Forti e Tortorelli nel 1987, si mostra l'inconsistenza di estensioni della teoria ottenute aggiungendo forti assiomi su relazioni e operazioni (ad es. assiomi che danno la composizione di operazioni, la congiunzione di relazioni, ecc.) e/o assiomi che forniscono qualche relazione "combinatoria".
First I briefly present the -Theory, a non-reductionist, self-referential theory for the Foundations of Mathematics proposed by Clavelli, De Giorgi, Forti and Tortorelli in 1987. Then, in §§2-4,1 show the inconsistency of some extensions of the -Theory, obtained by adding strong axioms on relations and operations (e.g. axioms giving the conjunction of relations, the composition of operations, etc.) and/or axioms giving some "combinatorial" relation.
@article{RLINA_1989_8_83_1_13_0,
author = {Giacomo Lenzi},
title = {Estensioni contraddittorie della teoria Ampia},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
volume = {83},
year = {1989},
pages = {13-28},
zbl = {0734.03029},
mrnumber = {1142432},
language = {it},
url = {http://dml.mathdoc.fr/item/RLINA_1989_8_83_1_13_0}
}
Lenzi, Giacomo. Estensioni contraddittorie della teoria Ampia. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 83 (1989) pp. 13-28. http://gdmltest.u-ga.fr/item/RLINA_1989_8_83_1_13_0/
[1] , , e , 1988. A self-reference oriented theory for the foundations of Mathematics. In Analyse Mathématique et applications Gauthier-Villars, Paris: 67-115. | Zbl 0675.03003