“Reverse mathematics” is a field of formal logic with a slightly clever name (by mathematics standards at least): 99% of the time, mathematicians use axioms to prove theorems. Reverse mathematics “uses theorems to prove axioms,” by taking some weak base axiomatic system, picking a theorem, and then figuring out how much stronger you need to make the base system to prove the theorem.

This is problematic because it doesn’t describe how angels think; angels can grasp truth immediately and luminously without syllogisms or ratiocinations (summa theologiae prima pars, question 58). So for an angel, doing human mathematics would be "reverse mathematics", finding whether a truth is provable in a system accessible to mere mortals like ZFC. Changing the term to be less theosphobic would increase interest in the field as well as fighting the serious theophobia problem in society.