Les questions d'existence d'espace probabilisés Omega et de variables aléatoires X_n sur Omega de lois prescrites ça reste des questions importantes et pas évidentes du tout, même si une fois qu'on se concentre sur les raisonnements probabilistes on oublie toutes ces considérations...
Rien que la preuve de l'existence d'un Omega et de v.a. X_n indépendantes sur Omega (qui se trouve être [0,1[) de loi uniforme sur [0,1[ c'est tout un petit délire qui fait intervenir le développement dyadique de chaque w...
Pour le reste des questions d'existence, le théorème d'extension de Kolmogorov est l'artillerie lourde qui fonctionne quasi tout le temps et permet une bonne fois pour toute d'oublier le Omega. En somme, le probabiliste peut enfin dormir sur ses deux oreilles (jusqu'à qu'il soit confronté à des constructions sophistiquées comme celle du mouvement brownien où il faut un peu tweaker le théorème pour garantir la continuité de chaque trajectoire) : https://en.wikipedia.org/wiki/Kolmogorov_extension_theorem
"The theorem says that provided the finite-dimensional distributions satisfy the obvious consistency requirements, one can always identify a probability space to match the purpose. In many situations, this means that one does not have to be explicit about what the probability space is. Many texts on stochastic processes do, indeed, assume a probability space but never state explicitly what it is. "