Lógica moderna oñemboja'o teoría de modelos ha teoría de prueba-pe, ha ojoaju mbarete informática teórica rehe, upeicha avei teoría de categoría rehe.