Los puntos clave no están disponibles para este artículo en este momento.
Given Tarski’s version of Euclidean straightedge and compass geometry, it is shown how to express construction theorems, and shown that for any purely existential theorem there is a construction theorem implying it. Some related results and open questions are then briefly described.
John B. Burgess (Tue,) studied this question.