Pregunta: Estamos demostrando que "la unión numerable de conjuntos numerables es numerable". Es el punto 7.17 del "Esquema de la teoría de conjuntos" de Henle. A continuación se indican tres lemas que debemos demostrar para esta pregunta. 1. Una unión finita de conjuntos finitos es finita. El paso principal de esta parte es demostrar que una unión de dos conjuntos

Estamos demostrando que "la unión numerable de conjuntos numerables es numerable". Es el punto 7.17 del "Esquema de la teoría de conjuntos" de Henle. A continuación se indican tres lemas que debemos demostrar para esta pregunta.

1. Una unión finita de conjuntos finitos es finita. El paso principal de esta parte es demostrar que una unión de dos conjuntos finitos es finita.

2. Una unión finita de conjuntos numerables es numerable

3. Una unión numerable de conjuntos finitos es numerable.

4. Una unión numerable de conjuntos numerables es numerable.