Reals numbers give you the property that if a continuous curve is bigger than zero somewhere, and smaller somewhere else, then it must cross the line at a certain point. You probably want to say that sqrt(2) has a solution. Without reals you don't have this.