miniaturadeimagen|Cesare Burali-Forti Se conoce como paradoja de Burali-Forti a la suposición, dentro de una teoría de conjuntos axiomática, de que la totalidad de los números ordinales forma un conjunto. Dicha suposición lleva a una contradicción en la teoría. Debe su nombre al matemático Cesare Burali-Forti, que la descubrió en 1897.Véase
Enunciado Hoy en día se interpreta dicha contradicción como el enunciado del siguiente teorema:
Es inmediato demostrarlo por reducción al absurdo.
Este enunciado es paradójico si puede demostrarse que existe tal conjunto. Este era el caso antes de la introducción de sistemas axiomáticos como ZF o NBG, en los que esto no ocurre.
Referencias
.
Bibliografía adicional El artículo original de Burali-Forti.
Categoría:Números ordinales Categoría:Paradojas matemáticas Categoría:Paradojas en la teoría de conjuntos