Esta doctrina es una definición dogmática establecida por el Concilio Vaticano I de 1870.