Wiktionary
clarithmetic
n. (context mathematics English) Any of several Peano arithmetics based on computability logic