ABSTRACT

A t th e en d o f S e c tio n 1 , I e x p la in e d d e d u c ib i l i ty fro m a x io m s y s te m s . A p a r t ic u la r a x io m s y s te m , c o n s is tin g o f sen tences, is th e se t E A U o f e q u a l i ty a x io m s , s tu d ie d a lre a d y in C h a p te r 1 .1 1 a n d 1 .1 2 :

w h e re £ = < x 0 , . . . , x n_ ! > , £’ = < x 0* , . • •> x n_^ > a re o f a p p r o p r ia te le n g th s a n d

Vf , V f abbreviate Vx0...Vxn_1 and Vx0C..Vxn_^ respectively, ( e f a b b re v ia te s ( x 0= x 0? A . . . A x n-1E x n_ ^ ) .