ThmDex – An index of mathematical definitions, results, and conjectures.
F4745
Formulation 0
Let $\mathbb{I}$ be the D370: Set of irrational numbers.
Then \begin{equation} \sqrt{2} \in \mathbb{I} \end{equation}