very (./84) :

dualmoo (./83) :
Faux. Il y a un nombre fini de contrats de mariage possibles, et ce nombre est borné par la taille de l'univers.

possible != physiquement réalisable ( possible =~ qui peut se générer à partir de la grammaire/du pattern défini ). Tu vires physicien

Pas une simple infinité !

Soit M la collection des contrats de mariage (ceux que l'on peut expliciter avec notre langue).
Une phrase étant une suite d'éléments d'un ensemble fini (le dico, qui inclue chiffres et virgules donc tout R), l'ensemble des phrases est du cardinal de R (on peut imaginer des contrats de mariages définis par des phrases infinies).
Soit E le sous-ensemble des phrases définissant un contrat de mariage.
On peut définir f la fonction qui à chaque ensemble de E associe son contrat de mariage (on peut concevoir un contrat de mariage comme un ensemble de phrases, donc M est un ensemble)
f est surjective (car on parle des contrats de mariages que l'on peut expliciter) on a donc card M inférieur card R

Or le cardinal des contrats de mariages supérieur au cardinal de R car à chaque élément x de R+ on peut attribuer, en injection canonique, le contrat de mariage défini par la phrase "Ce contrat lie, de manière infaillible, un homme et une femme pour une durée en jours égale à x".

Donc le cardinal du nombre de contrats de mariage est celui de R.