Buen orden10 ejerciciosUn conjunto A está bien ordenado por < si < es un orden total en A y todo subconjunto no vacío de A tiene un elemento mínimo.
Inducción transfinita10 ejerciciosPrincipio que permite demostrar que una propiedad vale para todos los números ordinales On, probando que, si vale para todos los…
Axioma de elección10 ejerciciosAfirmación de que toda familia de conjuntos no vacíos admite una función de elección f que escoge un elemento de cada conjunto de…
Lema de Zorn10 ejerciciosEl lema de Zorn es un principio equivalente al axioma de elección que afirma que todo conjunto parcialmente ordenado no vacío en…
Axiomas de Zermelo-Fraenkel10 ejerciciosLos axiomas de Zermelo-Fraenkel (ZF) son el sistema estándar de axiomas de la teoría de conjuntos, formulado en lógica de primer…
Construcción de los naturales10 ejerciciosLos números naturales son un conjunto ℕ construido dentro de la teoría de conjuntos mediante ordinales finitos, donde cada natura…
Construcción de los reales10 ejerciciosLos números reales ℝ forman un cuerpo ordenado completo que extiende a ℚ , y se construyen a partir de ℚ mediante cortaduras de D…