La lógica de primer orden es uno de los sistemas lógicos con propiedades metalógicas mejor conocidas.