As St. Thomas says in the Summa, the knowledge of an angel is luminous and intuitive, not requiring laborous syllogisms or acts of ratiocination.

Human mathematics would therefore be reverse mathematics for angels.

Thus to use the term "reverse mathematics" is to either deny the existence of angels or to endorse relativism.