Teorema de König

Una de las grandes consecuencias de la formulación de ordinales, es el teorema de König, el cual enuncia una desigualdad estricta entre una suma de ordinales y una productoria de otros ordinales con ciertas condiciones iniciales. Este teorema se considera de gran importancia, ya que muestra como afecta el axioma de elección en la continuación de la teoría de conjuntos. Una gran consecuencia de este teorema es que es equivalente al axioma de elección. A continuación, se presenta una prueba para introducir de mejor forma dicho teorema.