We do not currently know of any antonyms for second-order logic.
The noun second-order logic is defined as:
Did you mean logic?