Esto significa que el cumplimiento de esos dos teoremas "caracteriza" a la lógica de primer orden.