La aritmética transfinita constituye la disciplina que estudia las propiedades cuantitativas y ordinales de los conjuntos infinitos mediante una formalización rigurosa que extiende los conceptos finitos sin abandonar el marco deductivo de la teoría de conjuntos. Su aparición representa una ruptura metodológica con la tradición clásica, que concebía el infinito exclusivamente como una potencialidad indefinidamente prolongable, al introducir el infinito actual como objeto matemático perfectamente determinado y susceptible de análisis axiomático.
La idea fundamental consiste en distinguir dos nociones que, en el ámbito finito, resultan indistinguibles, pero que en el contexto infinito adquieren naturalezas esencialmente diferentes: el orden y la cardinalidad. Los números ordinales clasifican los conjuntos bien ordenados hasta isomorfismo de orden, describiendo la estructura posicional de sus elementos, mientras que los números cardinales abstraen exclusivamente la cantidad de elementos, prescindiendo de cualquier organización interna. Esta diferenciación permite comprender fenómenos específicamente transfinitos, como el hecho de que dos conjuntos posean la misma cardinalidad y, sin embargo, órdenes incompatibles.
El primer ordinal infinito, denotado por , no representa un número "infinitamente grande" en sentido intuitivo, sino el tipo de orden característico de los números naturales. A partir de él se construye una jerarquía ilimitada de ordinales mediante operaciones definidas recursivamente, cuya aritmética presenta propiedades profundamente distintas de las correspondientes al caso finito; por ejemplo, la suma y el producto dejan de ser conmutativos, reflejando que dependen de la estructura ordinal y no únicamente de la magnitud.
Paralelamente, el estudio de los cardinales revela que el infinito admite grados de tamaño estrictamente crecientes. El cardinal de los números naturales, , constituye el menor cardinal infinito, mientras que el conjunto de los números reales posee una cardinalidad estrictamente superior, hecho establecido por el argumento diagonal de Cantor. Así, el infinito deja de ser una noción uniforme para convertirse en una jerarquía rigurosamente estratificada.
Desde esta perspectiva, la teoría transfinita no debe entenderse como una extensión metafísica de la aritmética elemental, sino como una consecuencia inevitable de la axiomatización de la teoría de conjuntos. Una vez admitida la existencia de conjuntos infinitos, la aparición de ordinales y cardinales transfinitos no constituye una convención terminológica, sino una necesidad estructural derivada de las relaciones de orden, equipotencia y recursión que la propia teoría impone. En este sentido, la matemática transfinita proporciona el lenguaje natural para describir la arquitectura del infinito con el mismo grado de precisión lógica con que la aritmética ordinaria describe el mundo finito.
