WiZaRd ha scritto:2) A tuo (o vostro) avviso, sarebbe possibile proseguire la definizione di n-upla per induzione a partire da quelle di coppia e terna, senza quindi minimamente coinvolgere le applicazioni al fine di evitare qualsivoglia sorta di sovrapposizione tra le coppie usate nel prodotto cartesiano (e quindi nelle applicazoni) e le coppie prodotte dalle 2-uple?
affermi che procedendo per induzione le applicazioni non sono coinvolte.
Mentre qui:
WiZaRd ha scritto:In termini rigorosi, prima dell'assioma dell'induzione c'è un assioma che recita $exists sigma : NN to NN$ iniettiva e tale per cui definiamo $sigma(n)$ il successivo di $n$. Definendo opportunamente l'addizione, risulta che $sigma(n)=n+1$. Quindi $n+1$ è il successivo di $n$.
dici che prima dell'assioma dell'induzione c'è un assioma che fa uso del concetto di applicazione.
Queste due cose che dici non sono contraddittorie?