This is an old revision of the document!
Arithmetic structure of natural numbers
Definition
| $\langle \mathbb N,+,* \rangle$ |
| $k,m,n\in \mathbb N$ | $ m=k^+ $ |
| $n + 0=n$ |
| $n+m=n^+ + k$ |
| $n * 0 = 0$ |
| $n * m = n + (n * k) $ |
…todo substraction
Discussion
Context
Requirements
Refinement of
Element of
