En este contexto, una teoría de primer orden es simplemente un conjunto de fórmulas en un lenguaje de primer orden.