Con el fin de formalizar adecuadamente la discisión, es necesario definir rigurosamente la noción de "infinito", para poderlo aplicar a los ordinales.