Non j'ai bien précisé que l'on peut avoir des phrases infinies et c'est bel et bien R grâce au DDI, je suis pas ouf...
Pour un irrationnel le DDI à la fin de la phrase, si tu as 2 irrationnels tu utilises 2 DDI intercalés en précisant dans ta phrase qu'ils sont intercalés à la fin, etc.

Le cardinal des mariages exprimables à partir de phrases dénombrables est bel et bien card R, soit 2^Xo.


Pour voir un peu mieux, on peut même utiliser l'axiome du choix pour assigner à chaque contrat de mariage une et une seule phrase (qu'on peut choisir parmi celles de cardinal le plus petit, pour que ce soit plus joli), et ainsi munir tes contrats de mariage d'une relation d'ordre totale et complète (sans l'axiome du choix on n'a que un préordre total et complet :\).