ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2744 on D1243: Irrational number
Square root of prime is irrational
Formulation 0
Let $\mathbb{I}$ be the D370: Set of irrational numbers.
Let $p$ be a D571: Prime integer.
Then \begin{equation} \sqrt{p} \in \mathbb{I} \end{equation}
Subresults
▶ R590: Square root of two is irrational