예를들어
a+1
= a+S(0) // by definition
= S(a+0) // using 4.
= S(a) // using 3.
MKL ¶
정수론,number_theory
소수,prime_number
디바이저,divisor
팩터,factor
나눗셈,division
페아노_수,Peano_number =페아노_수,Peano_number =,Peano_number 페아노_수 Peano_number
modular_arithmetic - curr at
산술,arithmetic
영,zero
하나,one
둘,two
셋,three
넷,four
다섯,five
여섯,six
일곱,seven
여덟,eight
아홉,nine
열,ten
열하나,eleven
열둘,twelve
...