Demonstração do teorema do ponto fixo de Zermelo. O teorema da maximalidade de Hausdorff. O lema de Zorn. O princípio da boa ordenação. Teorema da comparabilidade das cardinalidades.