3 The rationals are not enough

Now that we have a solid foundation of logic and abstract set notation, let us explore sets within \(\mathbb{Q}\). That is, let us look at subsets of the rationals. This will lead us to notice that irrational numbers exists, and hence exploring a new set called the reals, \(\mathbb{R}\).