\mathbb{N}\subset\mathbb{R}\Rightarrow\mathbb{R}