We do not currently know of any antonyms for second order logic.
For similar words to second order logic, try: