triclino Posted May 6, 2014 Share Posted May 6, 2014 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 Link to comment Share on other sites More sharing options...

## Recommended Posts

## 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