CONGREGATION FOR THE DOCTRINE OF THE FAITH
PROFESSION OF FAITH
…
A similar process can be observed in the more recent teaching regarding the doctrine that priestly ordination is reserved only to men. The Supreme Pontiff, while not wishing to proceed to a dogmatic definition, intended to reaffirm that this doctrine is to be held definitively,32 since, founded on the written word of God, constantly preserved and applied in the Tradition of the Church, it has been set forth infallibly by the ordinary and universal Magisterium.33 As the prior example illustrates, this does not foreclose the possibility that, in the future, the consciousness of the Church might progress to the point where this teaching could be defined as a doctrine to be believed as divinely revealed.
…]
With regard to those truths connected to revelation by historical necessity and which are to be held definitively, but are not able to be declared as divinely revealed, the following examples can be given: the legitimacy of the election of the Supreme Pontiff or of the celebration of an ecumenical council, the canonizations of saints (dogmatic facts), the declaration of Pope Leo XIII in the Apostolic Letter Apostolicae Curae on the invalidity of Anglican ordinations.37…
…