Teoria degli insiemi ML
Vai alla navigazione
Vai alla ricerca
Questa voce o sezione sull'argomento matematica è ritenuta da controllare.
ML è una teoria assiomatica degli insiemi formulata da Quine negli anni quaranta: il filosofo allude all'edizione di Mathematical Logic del 1947.
Si deve a Wang Hao il risultato che se ML è consistente, allora lo è anche NF. Secondo Quine, ZFC starebbe a NBG, come ML a NF.
Oggi però l'attenzione è rivolta soprattutto a NF, per la sua eleganza (solo due assiomi)
Bibliografia[modifica | modifica wikitesto]
- New foundations for Mathematical Logic (1947), tradotto da A.Pasquinelli (a cura di),Il neoempirismo, UTET, Torino 1969, pp. 831-854.