Definition, synonyms and related words
Any of several Peano arithmetics based on computability logic.