Matematica inversa: differenze tra le versioni

Versione delle 17:37, 9 giu 2008

Versione delle 23:02, 2 mag 2011

Riga 1:

{{da fare/avviso}}

La '''Matematica Inversa''' è un ramo della [[matematica]] che si occupa di determinare quali sono gli [[assioma|assiomi]] minimi necessari per dimostrare un particolare teorema e più in generale cerca di determinare la teoria base che costituisce la matematica nel suo complesso. Partendo da una base di assiomi debole, si può scoprire che molte proposizioni matematiche sono equivalenti all'assioma aggiunto ad essa per dimostrarlo, come ad esempio il [[lemma di Zorn]] rispetto all'[[assioma della scelta]].