In measure theory one makes rigorous the concept of something holding "almost everywhere" or "almost surely", meaning the set on which the property fails has measure zero.
I think it is very interesting that there are some properties which hold almost surely for which it is either very difficult to construct an example, an example requires the axiom of choice, or for which no known examples exist.
I was looking to put together a list of some of these properties. More precisely, I am looking for (interesting) examples of measure spaces $(X,\mathscr{A},\mu)$ and $S\subseteq X$ such that there exists $N \in \mathscr{A}$ with $S^c \subseteq N$ and $\mu(N)=0$, but that it is hard to find/construct an explicit example of an element of $S$.
A good place to start is of course $(\mathbb{R}^n,\mathcal{B}^n,\lambda)$.
Here's one to get us started:
Theorem. Take $X=(0,1]$ with Lebesgue measure. Writing $\frac{p_n}{q_n}$ to be the $n$th continued fraction approximate of $x\in(0,1]$ in reduced terms, we have $$ \lim_{n \to \infty} \frac{\log q_n}{n} = \frac{\pi^2}{12 \log 2} $$ almost surely. Note: The result fails for all rationals.