, . , , .
. 1901 , . 1908 . , . , ˸ (1915 .), (1920 .), ø (1930 .), (1936 .).
, ø . ˸-, . (1965 .) .
, , , . , : , , , , , , , . .
, , F , , . f Î F, , n- . , : F = {Ç, È, Ø}, # #(Ç) = 2, #(È) = 2, #(Ø) = 1, F . c Î F, #() = 0, . :
1) ;
2) f n- , ;
3) 1 2, .
. , . , : . , , , : , Ç È.
, T(F) X. , x Î X, X, v(x) = x. v ,
|
|
1) t Î X, v¢(t) = v(t);
2) t , v¢(t) = t;
3) n- f , .
v¢(t) v t. ,
, ,
: . , . , : .
s t, , . .
v s t, v¢ (s) = v¢ (t). v s t : m.g.u.(s, t) = v, w s t a, a¢ v¢ = w¢. s t , . .
: s, t.
: h, , t s . , .
: h = Æ; (s = t) ;
, :
: (s = t) ,
I s , t , s, s t s h t, s = t h;
II t , s , , I, s t ( h t = s);
III s t , , , 1 £ i £ n, ;
IV s t , ;
V .
.
V, h .
s = (a Ç b) È ((a Ç b) Ç d), t = (a Ç b) È (c Ç (a Ç b)).
1) h = Æ; (s = t);
2) (s = t) , III, ((a Ç b) Ç d = c Ç (a Ç b));
3) ((a Ç b) Ç d = c Ç (a Ç b)), III, (a Ç b = c) (d = a Ç b);
4) (d = a Ç b), I, h = {(d = a Ç b)};
5) (a Ç b = c), II, ;
6) , h ;
7) , .
w, . : .
v, 1 £ i £ n. , 1 £ i £ n, , : , i. : , . : .
|
|