Tarski formuló además una versión concisa de la geometría euclídea del plano que es decidible si lo es su teoría de los números reales.