text: Tuttavia, i metodi sviluppati da Frege e Tarski per lo studio del linguaggio matematico sono stati notevolmente ampliati da Richard Montague, allievo di Tarski, e da altri linguisti che si occupano di semantica formale, per mostrare che la distinzione tra linguaggio matematico e linguaggio naturale potrebbe non essere così grande come sembra.