Now, we CAN falsify cardinal, ordinal, set, computational and operational claims

Now, we CAN falsify cardinal, ordinal, set, computational and operational claims because of differences in reducibility of each of those domains. ie: mathematical reducibility is small, computational is larger, operational is larger, and verbal (set) is even larger). 😉