WCF: Chapter 25

Of the Church

There is no other head of the Church but the Lord Jesus Christ. Nor can the Pope of Rome, in any sense, be head thereof; but is that Antichrist, that man of sin, and son of perdition, that exalts himself, in the Church, against Christ and all that is called God.

“Who is a liar but he who denies that Jesus is the Christ? He is Antichrist, who denies the Father and the Son.” (1 John 2:22)

The Pope of Rome is not the Antichrist. Full stop.

I am in favor of replacing the above paragraph with the American revision adopted by the OPC, which reads as follows:

There is no other head of the church but the Lord Jesus Christ. Nor can the pope of Rome, in any sense, be head thereof.