Sin embargo, los métodos desarrollados por Frege y Tarski para el estudio del lenguaje matemático han sido significativamente extendidos por Richard Montague, estudiante de Tarski, y otros lingüistas que trabajan en semántica formal con el fin de demostrar que la distinción entre el lenguaje matemático y el lenguaje natural puede no ser tan significativa como parece.