clarithmetic

Noun

 * 1)  Any of several Peano arithmetics based on computability logic.