We do not currently know of any antonyms for first-order logic.
The noun first-order logic is defined as: