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.[1] Hoy en día se interpreta dicha contradicción como el enunciado del siguiente teorema: No existe el conjunto On que contiene todos los ordinales.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.
