We do not currently know of any antonyms for Peano arithmetic.
The noun Peano arithmetic is defined as: