Artículos por etiqueta: formal-logic

Estructura de los números reales en matemáticas formales

Aprende cómo se construye ℝ a partir de ℕ mediante pares, cortes de Dedekind y el argumento diagonal de Cantor. Para desarrolladores: construcciones formales de la aritmética sin suposiciones.