Arithmetic structure of natural numbers - Axioms of Choice

Processing math: 100%

Arithmetic structure of natural numbers

Set

definiendum	$\langle \mathbb N,+,\cdot \rangle$
$m=S(k)$
postulate	$n + 0 = n$
postulate	$n + m = S(n) + k$
postulate	$n \cdot 0 = 0$
postulate	$n \cdot m = n + (n \cdot k)$

Discussion

todo: rewrite the defintion in my current notation

We'll often omit the multiplication sign.

Reference

Parents

Context

Requirements

Element of

Commutative semiring

Cardinal arithmetic with types

Log In

Improvements of the human condition