Corrigé du TD de Logique 1 : Ensembles, ordres et ordinaux
Exercice 1. 1. A est dénombrable. Rappelons que par définition, N ?. Si A ? ? est infini, alors pA, q est isomorphe `a un ordinal ? ¤ ?, qui comme A, ...
Exercice 1. 1. A est dénombrable. Rappelons que par définition, N ?. Si A ? ? est infini, alors pA, q est isomorphe `a un ordinal ? ¤ ?, qui comme A, ...