教皇不可謬説
第1バチカン公会議は教皇の不可謬について次のように宣言した。
カトリック神学ではこれが公会議によって認められた不可謬性の公式な教義の確定であると見る。1870年になってようやく教皇の不可謬は教義として公式に布告されたものが、それにいたるまでに長い歴史的・神学的展開を経ていることは否定できない。