ThmDex – An index of mathematical definitions, results, and conjectures.

F13424

Formulation 1

Let $x \in \mathbb{R}$ be a D993: Real number such that

(i)	\begin{equation} x = \sqrt{2} \end{equation}

Then

(1)	$x$ is an D1243: Irrational number
(2)	\begin{equation} \sqrt{2} \sqrt{2} = 2 \end{equation}