Je confirme.
Question de béotien : ce n'est pas dérivé/dérivable de ZF ?
Je suis d'accord avec tes objections. Mais je dois quand même dire que la définition de l'univers donnée telle qu'elle est tout à fait valide mais pas scientifique, du moins au sens de la méthode scientifique, tout simplement parce qu'il est difficile de faire des expériences sur l'univers dans son ensemble. Mais cela ne me gêne pas trop car on sait qu'il y a des "dérogations". Par exemple, la relativité générale aussi modélise l'univers dans son ensemble. Et si cet "objet univers" n'est pas expérimentable, les conséquences de la modélisation sont elles tout à fait falsifiables (par exemple la mesure de la courbure spatiale globale pour la partie observable, etc...)
-----