Parte de la lógica moderna que trata del término (término y cuantificador).