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