La sintaxis es definida a partir de la lógica de primer orden.