Decartes geometry: real numbers and the plane In Decartes's geometry, we express every point in the plane (Euclidean goemetry) with a pair of real numbers, so we can transfer the geometry problem to algebra problem, but how can we know that the pairs of real numbers cover all the points in the plane?
 A: It's actually not a foolish question.
The first thing you can prove about the Cartesian plane is that it satisfies all of Euclid's posulates. So if you have a Euclidean geometry theorem, it is true in the Cartesian plane.
There might, however, be theorems about the Cartesian plane that are not provable in Euclidean geometry.
Note, in mathematics, we aren't actually concerned with the plane as a "real" object that exists in the world, but rather, axiomatic systems that describe objects. 
As one commenter above notes, Euclid's axioms are actually deficient for certain purposes. Hilbert came up with a far more thorough axiom system which is much more closely related to the Cartesian geometry.
Nothing in Euclid's axioms says anything about "how many" points there are. It is entirely possible to do Euclidean planar geometry just in $F^2$ where $F$ is the smallest set of numbers containing all rationals, and is closed under taking sums, products, and square roots of positive values. So that's way fewer points than $\mathbb R^2$. 
A: We need to be precise about the axiomatization of the Euclidean plane.
One such axiomatization is the one due to Hilbert (Foundations of Geometry, 1899). Note that the partial axiomatization present in Euclid's Elements is quite inadequate.
Hilbert shows that any plane that satisfies his quite geometric axioms must be isomorphic to the coordinate plane over a complete ordered field. And it is a standard result that up to isomorphism there is only one complete ordered field, namely $\mathbb{R}$.
The axiomatization by Hilbert is second order. If we use a first-order axiomatization, such as the one due to Tarski, we must replace complete ordered field  by real-closed field. And then there are many non-standard models of the geometry. One could imagine then that the genuine plane, whatever that may mean, is not isomorphic to $\mathbb{R}\times\mathbb{R}$. In other words, one could imagine that the genuine plane is either bigger or smaller than the ordinary Cartesian plane over the reals.
A: This question can be simplified to whether or not the points on a line (given a choice of origin and unit) correspond to numbers.
In modern formulations of Euclidean geometry, there are completeness axioms which ensure that you have the "correct" number line. For example, here is Hilbert's version.
(note I've avoided saying "real number", as you might want other things in more general settings -- e.g. in first-order logic all you can really ask for from a number system is to be a real closed field, and there are corresponding completeness axioms that would guarantee that)
