natural Nos

[triclino]

1) Primitive symbols: (*,1)

2) The axioms:

a) for all x,y [x*=y* => x=y]

b) for all ,x [ x* is not equal to one]

c)

3) Prove:

for all ,x :if x is not equal to one ,then there exists a unique y such that y*=x