triclino
Again here the laws used are:
1)Universal Elimination
2)Law of substitution
3)M.Ponens
And the axioms on real Nos:
1)For all, x 1x=x
2)For all, x,y,z (y+z)x= yx+zx
3)For all, x 0+x =x
4)For all, a,b,c a=b -----> a+c=b+c An axiom in equality
5)For all, a,b,c (a+b)+c = a+(b+c)
6)For all, x x+(-x) = 0
1)Universal Elimination
2)Law of substitution
3)M.Ponens
And the axioms on real Nos:
1)For all, x 1x=x
2)For all, x,y,z (y+z)x= yx+zx
3)For all, x 0+x =x
4)For all, a,b,c a=b -----> a+c=b+c An axiom in equality
5)For all, a,b,c (a+b)+c = a+(b+c)
6)For all, x x+(-x) = 0