Puede decirse que Tarski mostró cómo la concepción clásica sirve para avanzar desde los formalismos, y cómo los formalismos sirven para avanzar desde la concepción clásica, haciéndola más precisa y científica.