La definición del dogma, contenida en la bula "Ineffabilis Deus" del 8 de diciembre de 1854, promulgada por el Papa Pío IX, dice lo siguiente: