Paradosso di Burali-Forti
Da Wikipedia, l'enciclopedia libera.
Il paradosso di Burali-Forti dimostra che costruire "l'insieme di tutti i numeri ordinali" porta ad una contraddizione e quindi individua un'antinomia in un sistema che permette la sua costruzione.
Il motivo è che l'insieme di tutti i numeri ordinali Ω possiede tutte le proprietà di un numero ordinale e sarebbe quindi considerato a sua volta un numero ordinale. Quindi si può costruire il suo successore Ω + 1, che è strettamente maggiore di Ω. Ma questo numero ordinale deve essere elemento di Ω, in quanto Ω contiene tutti i numeri ordinali, quindi si giunge a
.
La moderna teoria assiomatica degli insiemi aggira questa antinomia non consentendo la costruzione di insiemi con formule di comprensione senza restrizione come "tutti gli insiemi che hanno la proprietà P", come era possibile nel sistema di assiomi di Gottlob Frege.
Il paradosso di Burali-Forti prende il nome da Cesare Burali-Forti, che lo scoprì nel 1897.
