No obstante, y aunque definiciones definitivas sobre las más variadas cuestiones fueron llevadas a cabo en los siglos precedentes (con un reconocimiento implícito de la "no reformabilidad" de las mismas y por consiguiente, de la imposibilidad que el papa se hubiera equivocado en alguna de ellas), este dogma fue proclamado en 1870.