Is the name "reverse mathematics" uninformative and relativistic?
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. So it seems like the term reverse mathematics is either endorsing relativism or denying the existence of angels. I suggest an alternative name would increase interest and avoid these errors.