A user has added this entry to requests for verification(+)
If it cannot be verified that this term meets our attestation criteria, it will be deleted. Feel free to edit this entry as normal, but do not remove {{rfv}} until the request has been resolved.

English

edit

Etymology

edit

CL +‎ arithmetic

Noun

edit

clarithmetic (plural clarithmetics)

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