Jump to content

natural Nos

Recommended Posts

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) a4d9202f801e12f41f580e2fc7b4064125739e23

3) Prove:

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

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.