Tarski formuló una teoría de los números reales que es decidible.