Qu'est ce que vous avez contre le texte cidessus (je le recopie) : « si la classe des ordinaux était un ensemble On alors On serait un ordinal tel que On ∈ On, or par antiréflexivité de l'appartenance sur un ordinal, cela est impossible (on aurait x ∈ x pour l'élément x = On de On) » ? Pas assez détaillé ?