 
     
  

 
   
     
   
      
  
    
   
    
    
   
    
    
 
     
     
      
       
  
   
    
   
    
 
   
            
             
             
          
          
 

            


             
            
                 
            
            ZFC     
         C    
       
󰄪
   
󰁓

󰄹
  
              
      
󰄡󰝸󰄫
     
             
           
󰄡
 
   
    
󰄪
ZFC
 C  ZFC  ZFC C        
  ZFC              
        
                 
              
          
  
󰁜

󰁜
     
 
󰁜

󰁜
            
        
󰄹
      
     ZFC
  
󰃶

󰃶
       
 
󰄡

󰄡
            
        ZFC         
  
󰄡
   
󰁒
󰁒
󰄡󰁜󰁓
󰈚
󰄫
󰄡󰝸󰄫
󰄡
   
󰄡
󰄡
       
󰁓
󰁓
         
󰄫
    
 ZFC C
    
       
           
            
             
           
            
󰄡
 
󰄡

󰄡
           
        
󰁓
    
             
    
󰄡󰁜󰁓
   
󰄹
       

󰃶
   
󰄹
 
󰁒
 
󰄹
󰁒
 

󰈲
 
󰁒
    
     
           
             
           WI 
     I  
                
         ZFC       
  ZFC           
  ZFC IC        ZFC       IC
      WI  I  
󰅋
       
                GCH 
     
󰈚
󰄡󰁜󰁓
 
󰄡
󰄡
     
              
 
       
     
󰄪
  
󰄡
   
      
󰄡
󰄢󰝸󰄡
󰄢
    
󰄢

       
    
   
    ZFC    IC         
         ZFC   
ZFC IC             
      ZFC     ZFC ZFC  
   IC ZFC         
               
         ZFC       
              
 
            
󰁒

󰄡󰁜󰁓
󰄡

󰄫
󰄡󰝸󰄫
󰄡
                
󰄡



󰄹
                 
        FST

󰄹󰁜󰄹
               
         ZC       ZFC
 
󰄫
ZC   ZFC       ZC  
ZFC ZC  ZC       
   ZC           ZC
      FST
     
󰄹󰁜󰄹
      
    
󰄹󰁜󰄹
         
          
󰄹󰁜󰄹
 
        
󰄹󰁜󰄹
     
󰄹󰁜󰄹
           
󰄹󰁜󰄹
   

 
󰁓
    
󰄹󰁜󰁔
󰄹
󰅌
   
  
󰁓
           
            
     

  
󰁓
      
󰁓
 
󰄹
󰅌
  

   I 
󰄪
       
 SOR        

 
  
󰄡
       ZFC   
         
     
󰄪
  
    
     
󰄫
     
󰁒

󰄡
    
󰄡󰁜󰁓
󰄡
󰈚
   
󰄡
   
󰄫
   
          
    
󰄪

 
󰄪
󰄡󰝸󰄪
󰄡
    
󰄡

󰄡
 
󰄡
   
󰄡
    
 
󰄪
󰄪

󰄪
   

󰄪
  
 

  
󰄄
        
   
󰄄
       
   
       
󰄣
 
󰄣

󰄣󰁜󰁓
󰄪
 
               
 
  
󰄪
     
             
󰄫
 
 
󰄡󰝸󰄫
󰄡
 
󰄡

󰄡
    
     
󰄪
   
󰄡
 
   
󰄪
  
󰄪
  
    
󰄫
     
 
󰄫󰁜󰁔
󰄪
     
󰄪
 
      
       
󰄪
ZFC         
         ZFC     

   
󰄪
ZFC      
   
󰄪
    ZFC   
            

󰁒

󰃳󰁜󰁓
󰃳

󰃳

󰃳󰞃󰢂
󰃳
 
󰃳
            
󰃳
 
              
   
   
󰃶
 
󰄪
󰃶
      

󰃶
    
󰁓
   
󰄹
󰄹󰁜󰄹
󰄹󰞖󰁕
 
    
󰄹
󰅌
 
󰁓
   
󰄪
󰄹
󰅌
   
       
󰄪
  
󰁓
󰁓
    
           
󰁓
    
 
󰁔
󰁕
      
            
                 
   
󰄪
       ZFC  
             
󰄪
              
󰄹
󰅌

           
󰄪

                  
                 
                
                 
            


󰁒
           ZFC  
      

󰁓
  
󰁒
     

󰁓
  
󰁒
       
       
   
󰁒
      
󰁓
 
  
󰁓
         
  
󰁒
             
󰁒
                 
   
󰄪
             
     
  
󰁒
           
 
󰁒
 IC ZFC ZFCIC
         IC     ZFC 
   
󰄪
 ZFC   ZFC  ZFC
   ZFC
ZFC ZFC     IC    
ZFC
      ZFC
IC
  
   
󰄪
ZFC         
 
󰄡
  
󰄹

󰄹󰁜󰁓

󰅋

󰄡
󰅋
 
         
    
󰁒

󰃳󰁜󰁓

󰃳

󰃳󰞃󰢂
󰃳
         
󰄡
  
󰁒

󰃳󰁜󰁓


󰄡
󰇬

󰃶
 
󰄡
󰅌

󰄡
󰄪

             
 
󰃳
      
󰃳
 
󰄡
󰇬
 
 
󰄡
󰇬
󰁒
󰝸󰄹
󰄡
󰇬
󰄡
󰇬

󰝸󰄹
         

󰄡
󰇬
  
                
 
󰃳
  
              

󰄡
ZFC    
     
󰄡
ZFC   Wor
  IWor            

IC WorC ZFC
      
              
    ZFC             
       
󰁜
    
          
         
󰄫

󰄫󰁜󰁓

󰄫󰁜󰁓
 
   
󰄫󰁜󰁕
󰄪

󰄪
      ZFC
            
󰄪
 

    
        ZFC         
   

      
 





 





     

      
        

    



           ZFC  ZFC 
       ZFC

ZFC  ZFC

ZFC   
ZFC CH ZFC CH  ZFC   
            

           
             
    
ZFC
󰝭
ZFC ZFC
 ZFC
󰝭
ZFC    ZFC
󰝭
ZFC  ZFC
󰝭
ZFC 
ZFC
󰝭
ZFC
󰝭
 
 
ZFC

ZFC ZFC

ZFC WorC

ZFC IC
         IC ZFC ZFC
   ZFC

ZFC IC         
  
      
󰄪
   ZFC       
 IC       
󰁓
    
     
󰁒
󰁓
 
󰄪
󰅌
ZFC I
󰁒
  
󰄪
󰅌
ZFC IC
            
󰄡
 
 
󰄪
    IC
         
󰄡
I I   
     
        
   
    
󰁓
   
󰄫󰁜󰁓
󰄫

󰄫󰁜󰁔

    
󰄡
    
󰄡

󰄡
     
         
            
󰄣󰁜󰁔
󰄫
󰄡
       
󰄫󰁜󰁔
󰄡
      
 
󰄡
          

    
  ZFC IC       
󰄪
ZFC IC
 
󰄪
ZFC IC     
󰄪
I     
   
    
ZFC IC      ZFC IC
    

   
            
 
       
          
       
  
ZFC ICZFC IC
  ZFC IC     ZFC IC     ZFC IC
   ZFC IC  ZFC IC
 ZFC ICZFC IC
              
  ZFC IC  
ZFC IC

ZFC IC
                  
            
   
󰄡
󰄡
        
              
ZFC             
ZFC GCH    ZFC WIC   ZFC IC    
 WIC  IC  
 
󰅋
        
󰅋
    
             

  
   
          
  
    
 

    
󰃶
󰃶󰞃󰢂
       
󰃶󰞃󰢂
󰃶
󰃶󰞃󰢂

󰃶
             
                
       ZFC IC        ZF 
              
    
            
             
            

           
 
     
      
               
  
              
              
         
󰅄
   
         
󰅄
      

            
           

󰄡

󰄡

󰄡󰞃󰃑

󰄡

             


   
      RVM    
  
      
           
 
󰄡

󰄡
   
󰄡
󰄡
󰄡󰁜󰁓

󰄡󰝸󰄣
󰄡
    
󰄡
   
󰄡
󰄡󰁜󰁓

󰄡
󰄃󰞃󰃎
󰈚
     
󰄡
    
  
         
   
󰁝󰁓

 
󰄡󰞃󰄫
󰁝󰁓

      
     
             
    
   
󰃶

  
󰃶
  
󰃶󰞃󰢂
󰃶
  
         
󰄮
󰄡
 
󰁜

 
    
󰄮
󰄡
󰁜
    

    
󰁜
󰄮󰝸󰄫
󰄮
󰄡
  
󰁜
 
󰄣

󰄮
󰄡
󰄣

          
󰁜
󰄮󰝸󰄫
󰄮
󰄡

󰁜
    
󰄣
 
󰁜
󰄮󰝸󰄫
󰄮
󰄡
        
       
          
󰅋
  
          
󰁜
 
󰄮
󰄡
󰄡󰝸󰄫
󰅕
󰝟󰄮󰝸󰄫
      
󰄡

󰄡
󰁜
󰄮󰝸󰄫
󰄮
󰄡
    
󰄮󰝸󰄫
󰄮
󰄡
               
󰄡
  
󰄮
󰈚
󰄡

󰁜
  
󰄡
        
󰁜

󰁜
     
󰄡
    
󰄮
󰄡

   
󰁜
          
         
  
         

             

            

  
  
              

            
󰄡
 
󰄡󰝸󰄣
󰄡
           
              

       M    
  
  ZFC     
󰁒
   
󰁒

󰁒
          
         
󰁓
   
              
          
   ZFC MC  ZFC RVMC       
            
 
     
             
             
󰄫

   
󰄫

󰄫
        
 
 

󰄡
󰁒

󰄡
󰁓

             

 
󰄡
󰃧

󰄫
  
󰄡
󰄡
󰃨󰁟󰄡󰁠
              
󰄡󰝸󰄫
󰄡
   
󰄡󰝸󰄫
󰄡
    
󰄡
󰃨󰁟󰄡󰁠
  
                

󰄡󰝸󰄫
󰄡
󰁝󰁓

                  


    
󰁜
       
             
    
󰁜
     
󰄡
󰄡󰝺󰄪
   
    
󰄡󰝺󰄪
󰄡
󰄡󰝸󰄮
󰄡
           
           
            
   
 
󰃶
           
󰁔

             
󰝥󰃣󰝦
󰅍




         
             
󰁒
 
   

󰃶
󰃵
    
󰃶
     

󰃶
       
󰁒

󰁒
󰁔
󰁔
     
   
 
 

W



󰁔
󰁔
     
       
        
󰄡󰝸󰄫
󰄡
   
󰄡

󰄡
    

      
󰄡
      
󰄡
         
   
󰄡
             
  
      
󰄫
 
󰄫
     
               

               
󰄫

                
 

󰄫
       
󰄡
󰄡󰝸󰄪

󰄫
   
                  
󰄡

󰄢
            
󰄡


       
󰄡


   
      
      
  
󰁔
     
󰄡
󰁒

󰄡
󰁓

     
󰄡
󰁒
󰄡
󰁓
        
   
󰄡
󰃨󰁟󰄡󰁠
 
󰁒

󰁓

       
  
󰃯
       
 
     
󰄡
󰄡
󰁒
 
 
  
󰄡
             

󰄡
      
󰁒
󰄡󰝺󰄪
󰄡

    
󰁒
   
󰄣
󰄣
󰁒

󰄤
󰄤
󰁒
 
󰄡󰝺󰄪
󰄡
󰄮󰝸󰄤
󰄮
󰄣
󰄣
󰁒
 

               
    
   
           
󰃞
  

󰃞
 

󰁒

󰁒
󰁒
󰁒
 

             

󰃑
󰃯󰞃󰢂
󰁞󰃶
󰁞󰃶
   
󰝻󰃶
    

󰝻󰃶
󰃑
     
 
󰄪󰄪
   
  
         
    
   
󰄡󰝸󰄫
󰄡󰝸󰄫
󰄫
󰄫

       
󰄡

󰃞
    
󰄡󰝸󰄫
󰄡

󰄡󰝸󰄫
󰄡
         
󰃞
 
󰄫

󰄫

󰃞

    
󰄡󰝸󰄫
󰄡

󰄡
   
󰄫
  
  

󰁒
󰁓
󰄮
 
󰄪󰄪

󰃞
    
󰃞
 

󰁒

󰁒
󰁒
 
            
󰄹󰄹

 
         SC  
󰄪󰄪
  
         
        
            

󰃌
  
󰄪
   
     



󰃌
    
󰃗
     

󰃌
  

  
󰃌
󰄪󰞁󰃌

 
󰃌
   
 
   
󰄡
󰄡󰝸󰄫
    
󰃌
󰈚
    
  
󰄡󰝸󰄫
󰄡
     
             
      
     

󰃌
             
 
      
󰃌

󰄪󰞁󰃌
    
󰄡

󰄡󰝸󰄫
󰄡


󰃌
󰄡󰝸󰄫
󰃌
󰈚
       
      
 
                
             
    

    
        KEP   
󰄪
  
󰄪
             
 
           I 
       
󰄪
ZFC  ZFC   
    ZFC IC 
󰄪
ZFC IC    
 
󰄪
     

              
      
I
 
󰄪
 
󰄪
I
  
I
      
  A   
IKEP

ZFC IC

ZFC A
      ZFC A ZFC IC    ZFC A  
                
  ZFC IC
              
            
ZFC    

    ZFC C ZFC C
             
       
󰃯
󰃯󰞃󰄹
     
󰃯

  
󰁒
          
    
         
            
󰄪
 
              
          

󰄃
    
󰄪
       
󰄃

󰄪

󰄪
       
󰄪
   
󰄪

󰄪


󰄪󰄪
     
󰄹
󰃯󰞃󰄹
󰃯󰁜󰁓
󰃯

    AC  
󰃗
󰈣
 
󰄪
  
  
󰄪
        

󰄪
             

󰄪

󰁜
󰄪
     
󰁜
  
󰄃
󰄪
  
󰁜
    
󰄪
    
       
 
󰁜
             
 
󰁒
󰁜
            
       
󰄢

󰁜
   
    
󰁒

ZFC IC

ZFC SCC
            WC   

󰄪󰄪
            
WC        
WWC
     WC       
ZFC IC

ZFC WCC
              
󰄪
 
    
               
                  
           
󰄫
ZFC
MC     
󰄫
          
󰄫
 
   
󰄫
 

󰄫
󰄪

󰄫
        


   
󰄫
    
󰄫
    
  
󰄃
󰄫
        
󰄫
󰄫
󰄪
    ZFC MC    
󰄪
  

  
󰄫
󰄪
     
  
 
󰅄

 

 
󰅄
 
󰅄
         
           
          


    
        
 
󰄫
   
 
        
󰄣
     
   
󰄫
      
󰄣
    

   
󰅄

 


󰅄
 
󰅄

󰅄
󰄣


󰄣

󰄫
󰄪
 
    

󰃶
    

󰃶󰁜󰁓

󰃶
 
󰃶
󰃶󰁜󰁓

󰃶

   
󰃶󰞃󰢂
󰃶
      
󰃶󰞃󰢂
󰃶

󰃶
    
󰄫
  

    
󰁓
 
          
󰄫
󰄪

   
󰄫

 

󰄃

        
󰄃

󰄫
     
󰄫
󰄫

󰄫

   
  
󰄫
     
  
 
      
󰄫
      
             
   

󰈣
   
󰄪
     
󰄪
 
󰄪
     
           
        
󰄃


󰄃




󰄅󰞃󰄃

   
         


󰄅
        

   
   
󰄪
      
󰄡

   
󰄪


󰄡

󰄪
󰄡

󰄪

   
        

󰄪

󰄪