,  , 2


(transfinite)


 
,
 





A, ,  cardA

 
















 

A







S




 


●

 

f
A



 
F
 

F, f 







S




 



D



 



A

 f : F o F u F
 

 t : D o D u D
 

 






S

 N ~ N K N 



! 

S, @ 
 
S

@
 








●

 
S

 




"


F, f  
G, g   F  G 
x  F 
f ( x )
g( x ) 

!




S, @ 


f



g

 









 

S, @  


●

 : L o L u L, L  F


S

T ^
F , f  i  I `



i i i
i


"

x  Fi 
( x )
f i ( x ) 



T



, x  Fj , j z i , Fj


"
x
" 




 


 f i ( x )  f j ( x )

 


;


# f i



f j

Fi @ Fj


 


 


 



T


 ( x )  ( y ) 

y  Fj , x  Fi


y
x



 
 (1o

 x  y

f j ( x )  f j ( y )
 
x , y  Fj


x  y 
f i ( x )  f i ( y )
 
x , y  Fi



T



; i , j  I

y  Fj , x  Fi , (x , y )  L u L


 
 ( 2 o

( b )  f i ( b )  (x , y )


b  Fi
"
 
(x , y )  Fi2


 ( b )  f j ( b )  ( x , y )


b  Fj
"
 
( x , y )  Fj2


i  I 
Fi , f i 

L,  
:T


"
"


(S, @ )


( L, )





" 


●




(S, @ )

 

"

 






 


 

 
 : M o M u M
 
# ( M ,  ) 



card M  ,







●

(E E 2 ) card M E  D
















 






!







E  D  š card ( A  M ) d E 

!

 , @ -

#   card M Г card ( A  M ) 
Г
 2


E  D  š
E  card ( A  M )  

 card E  -


(A
M )

E

 




 


M Y E  K
E Y M  
M K M  Y
M K E  Y
E K M  Y
E K E  
"















 
(i ) card M K E  card E K M  card M K M  - 2  -


(ii ) card >
M K E  Y
E K M  Y
M K M @  3-  -

 

 



U : E o >
E u M  ‰
M u E  ‰
M u M  @


 


N :
E ‰ M  o
E ‰ M  u
E ‰ M 

­!( x ) x  M
x®
¯U( x ) x  E


E ‰ M , N  :
S, d  

"

 

 




 




M ,   d
E ‰ M , N 



!



M ,  

 









­E D

® :


 

¯D D2