Luego de "Principia Mathematica" comenzó una fértil época de resultados metalógicos para la lógica de primer orden (y otras).