Tarski contribuyó a la madurez de la lógica estándar —de primer orden— fundando una metodología conjuntista de las teorías deductivas sobre dos bases: