clarithmetic
English
editEtymology
editCL + arithmetic
Noun
editclarithmetic (plural clarithmetics)
- (mathematics) Any of several Peano arithmetics based on computability logic.
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.
|
CL + arithmetic
clarithmetic (plural clarithmetics)