clarithmetic

English edit

Etymology edit

CL +‎ arithmetic

Noun edit

clarithmetic (plural clarithmetics)

(mathematics) Any of several Peano arithmetics based on computability logic.

Retrieved from "https://en.wiktionary.org/w/index.php?title=clarithmetic&oldid=42234380"