第1バチカン公会議
教皇不可謬が教義として正式に宣言されたのは1870年の第1バチカン公会議においてであるが、その思想自体には初代教会以来の長い歴史的な伝統がある。カトリック神学において教皇不可謬性は教会のもつ四つの不可謬性（後述）のうちの一つとして考えられ、思想的に発展させられてきた。教皇不可謬の教義をめぐってはカトリック教会の内外で多くの議論が行われてきた。