Noun
clarithmetic (plural clarithmetics) (mathematics) Any of several Peano arithmetics based on computability logic.