clarithmetic
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]CL + arithmetic
Noun
[edit]clarithmetic (plural clarithmetics)
- (mathematics) Any of several Peano arithmetics based on computability logic.
CL + arithmetic
clarithmetic (plural clarithmetics)