Matematica inversa: differenze tra le versioni

Versione delle 00:04, 18 feb 2005

Versione delle 09:35, 11 mar 2005

Riga 9:

I teoremi aritmetici di base possono essere dimostrati nell'aritmetica di funzione esponenziale (EFA), che oltre agli assiomi di base per somma, moltiplicazione e l'elevamento a potenza, include l'assioma di induzione per le formule limitate da quantificatori. EFA basta, tra l'altro, per dimostrare che la teoria dei campi reali chiusi, e quindi anche la geometria classica, è completa.

==LinkCollegamenti esternoesterni==

*[http://www.math.psu.edu/simpson/sosoa/ Dettagliata introduzione alla Matematica Inversa (in inglese)]