Introduction to the Galois Correspondence

If we define a real number c to be constructible if, and only if, the point (c, 0) can be constructed starting with the points (0,0) and (1,0), then we may show that the set of constructible numbers is a subfield of the field R of real numbers containing the field Q of rational numbers.