Jump to content
Sign in to follow this  
triclino

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

Share this post


Link to post
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
Sign in to follow this  

×
×
  • 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.