Upéicharamo jepe, método Frege ha Tarski omboguatáva ñe'ẽnguéra matamética rehegua ñemoarandurã tuicha ojeipysoveha Tarski remimbo'e, Richard Montague ha ambue lingüista omba'apóva semántica formal rehe rembiapópe, ohechauka hag̃ua lenguaje matemático ha lenguaje natural ndojoavyiha tuichaiterei oñeimo'ãháicha.