Sémantique dénotationnelle
Exercice 2. Soit X un ensemble fixé, à bien ordonner. Si Hart(X) = ? est un ordinal fini, alors il est successeur, de la forme n + 1; alors n s'injecte ...
Exercice 2. Soit X un ensemble fixé, à bien ordonner. Si Hart(X) = ? est un ordinal fini, alors il est successeur, de la forme n + 1; alors n s'injecte ...