Este artículo de Lcamtuf profundiza en la construcción matemática de los números reales, continuando desde su trabajo previo sobre la derivación de la matemática a partir de la lógica formal. Inicialmente, se revisa cómo se construyen los números naturales (ℕ) a partir de un elemento inicial (cero) y una función sucesora (S). Se explica cómo estas construcciones, aparentemente abstractas, permiten definir operaciones aritméticas básicas como la suma mediante reglas de sustitución. Se extiende este concepto para definir los números enteros (ℤ) como pares ordenados de números naturales, lo que permite representar números negativos y, por ende, la resta. Se introduce la idea de equivalencia entre pares ordenados para representar el mismo entero, sentando las bases para una estructura más robusta.
El artículo luego aborda la construcción de los números racionales (ℚ), que son representados como una razón de dos enteros (a/b), nuevamente utilizando pares ordenados. La clave es que, al igual que con los enteros, se define una relación de equivalencia para que diferentes pares ordenados representen el mismo número racional. Se destaca que, a pesar de la complejidad creciente de estas construcciones, se pueden establecer correspondencias entre diferentes conjuntos numéricos (naturales, enteros, racionales) en términos de su 'tamaño' (cardinalidad), demostrando que, en cierto sentido, pueden tener el mismo 'tamaño' aunque se comporten de manera diferente.
El artículo no profundiza en la construcción de los números reales, dejando ese tema para una futura exploración. El objetivo principal es ilustrar cómo, a partir de principios básicos, se pueden construir progresivamente sistemas numéricos más complejos, revelando la naturaleza inherentemente 'extraña' de los números reales en el proceso. Este enfoque, aunque técnico, proporciona una comprensión más profunda de los fundamentos de la matemática y cómo se construyen los conceptos que damos por sentado.