Lâkin, Frege ve Tarskiyniñ riyaziyat tilini ögrenmek içün işlep çıqarğan usullar, Tarskiyniñ talebesi Riçard Montegü ve diger, formal semantika saasında çalışqan tilşınaslar tarafından, riyaziyat til ve tabiiy til arasındaki farqnıñ körüngeni qadar büyük olmay bilecegini köstermek içün bayağı kenişletildi.