Qu'est-ce que « nombre constructible » ?

Identifier le plan à $\C$ ; partir de $\{0, 1\}$. Un point est constructible s’il s’obtient par un nombre fini d’intersections de droites passant par deux points déjà construits et de cercles centrés en un point construit de rayon une distance de deux points construits.