Nanging, metode sané kalimbakang olih Frege dan Tarski anggén malajahang basa matematika kaagengang banget olih siswa Tarski, Richard Montague miwah ahli basa lianan sané makarya ring semantik formal anggén nujuang yéning pabinayan pantaraning basa matematika miwah basa alami minabang nénten agéng sakadi sané kacingak.