 
     
  

 
   
     
   
      
  
    
   
    
    
   
    
    
 
     
     
      
       
  
   
    
   
    
 
   
            
             
             
          
          
 

            


             
            
                 
            
            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    
󰄪
  

  
󰄫
󰄪
     
  
 
󰅄

 

 
󰅄
 
󰅄
         
           
          


    
        
 
󰄫
   
 
        
󰄣
     
   
󰄫
      
󰄣
    

   
󰅄

 


󰅄
 
󰅄

󰅄
󰄣


󰄣

󰄫
󰄪
 
    

󰃶
    

󰃶󰁜󰁓

󰃶
 
󰃶
󰃶󰁜󰁓

󰃶

   
󰃶󰞃󰢂
󰃶
      
󰃶󰞃󰢂
󰃶

󰃶
    
󰄫
  

    
󰁓
 
          
󰄫
󰄪

   
󰄫

 

󰄃

        
󰄃

󰄫
     
󰄫
󰄫

󰄫

   
  
󰄫
     
  
 
      
󰄫
      
             
   

󰈣
   
󰄪
     
󰄪
 
󰄪
     
           
        
󰄃


󰄃




󰄅󰞃󰄃

   
         


󰄅
        

   
   
󰄪
      
󰄡

   
󰄪


󰄡

󰄪
󰄡

󰄪

   
        

󰄪

󰄪

󰄪

󰄪

      

󰄪



󰄪

 
    
󰈣󰅕󰅌
        
             
  

󰄫
  
󰄫
     
󰄫
   
        
󰄪
   
󰄪
 
  
󰁔

󰁕
 
󰄪

󰁔

󰁕
         
󰄪


  
  


󰄪
 
      
     
 
󰄫
     
󰄫
 
                
  
                   
 
          

         

󰄪
      

  
󰄪
   ZFC   
󰃘
󰄪


󰄪
        
           
      
󰄣󰁜󰁓

󰄣󰁜󰁓
    
   
󰈣
   
󰄣󰁜󰁓
 


󰄃
  

󰄪󰁜󰁓
 
󰈣󰅕󰅌

 
󰄪󰁜󰁓

󰄪
  
󰄪
      


󰄪
        

󰄪
          

󰄫

󰄪
   
󰄣


󰄣
  
󰄪
   
  
󰄪
  
 
󰄫
       

󰄫
             
󰄫
         
󰄫
   
               
󰄫
  

󰄪
 
󰄪󰁜󰁔
              
󰅄
󰄪󰁜󰁔
    
              
 
󰄪
    
󰄪
 
󰈣
    
 


󰄪



󰂯

             

 
󰄫

   
󰂯

  
   I        I

I
I
           
   W         W 

󰁔
     
󰄪
      
 
󰄫
W     
󰄫
        

󰄪󰁜󰁓
     
W
W
           
             
 
󰄪󰁜󰄢
 
            
  
           
            
M
󰄪󰁜󰁔

   M        
M
  
           
      Surv    
       
󰄫
󰄪
 
      M
                
     

 MC

SurvC
           
󰁒
󰁓
 
󰁒
󰁓
   
󰁓
  
󰄫
󰅌
ZFC M
󰁒
   
   
󰄫
󰅋
󰁜󰁔
󰄫
󰅌
      
         
  
      ZFC 
󰄪󰁜󰁓
   
󰄫
    
               

                 
  
             
        
        
         
    
    
 


     
            
       
󰄡
󰄡󰝸󰄣
 
󰄡
  

󰄡
  
󰄡󰝸󰄣
󰄡
   
󰄡󰝸󰄣
󰄡
 
   
󰄡󰝸󰄣
󰄣
        
󰄡
 
    
󰄡
          
󰄡󰝸󰄣
󰄡
             
        
󰄡
     
󰄡
           
󰄡

󰄡󰝸󰄣

󰄡󰝸󰄣
󰄡
󰄡󰝸󰄣

󰄡
   

              
   
󰄡
      
󰄡
      
      

󰄡
  
               
     
󰄡
          
       
        
󰃱

  
 
󰄡
󰃱
    
󰄡
 
󰄡󰝸󰄪

󰄡

󰄡󰝸󰄪

󰄡
󰄡󰝸󰄮
󰄡

󰄡
󰄡󰝸󰄪

󰄡

󰃱󰁟󰄡󰁠
   
󰄡󰝸󰄪

󰄡

󰃱󰁟󰄡󰁠

󰄡

󰄡
   
              

  
󰃠

󰃱
         

󰃱
󰇙
          

  
 
             
       

                M  M
                  
      

             
M
           
M
 
           
󰄡


󰄡


               
               
            
   
         
󰄪󰁜󰁔
   

 
󰅄
     
󰃘
󰅄

M
     
󰄡
  
󰅄
󰄡
      
        
󰅄
  
󰃘
󰅄
     
           

 
  
    C          
       
󰄫
  
   
M              
    
  
󰄫
      
󰄪󰁜󰄢
           

            
              
              
M

Surv
      S     
SurvC

S
     
󰃠
󰇪
         

              
         

󰄪󰁜󰄢

          
              
   
󰄪󰁜󰁓
             
          
             
            
  
               
                
  
󰄪󰁜󰄢
         
          
   

󰄪󰁜󰄢
            
󰄪󰁜󰄢
     
             

   
            
             
     
       
            
               


               
       
       
󰄪
󰃠
 
󰄪
     
                
󰃠
    
󰃠
󰄪
󰃠
    
󰄪
󰃠

              
             
󰄡
     
󰄡
    
󰃠

󰃠
 

󰃠

󰃠
  
󰄪

󰃠

        
󰄫
󰄪
    
             
 
            
           
              
               M
          
󰄫
  
            
                
           
 NBG    MK         NBG  
                
    MK            
             
                 
             
             


               
        
󰁓
     
               
  
  
     
󰄬
    
󰄫
      
   
󰁜


 

󰄡
󰄪
       
          

󰄡


 
    
 
󰄡

        
󰄡
 


󰁜
󰄪
󰅕
           
󰁜
   

󰁜
       
󰁜
 
󰁜

󰄪
󰅕
 
     
󰁜

󰁜
     
󰁜

 
󰄡

   
󰁜

󰁜
         
󰁜

󰁜

      
󰄬
  
        
               
   
󰁜
        
          
         

󰄬
 
󰄪
      
󰄪󰁜󰁔
󰄪󰁜󰁓

󰄪󰁜󰁓
󰄪
󰄪

󰄪󰁜󰁓

󰄪
      
󰄪
    
     
󰄪󰁜󰄢
󰄪󰁜󰄢
    

     
   
           

              

󰄪󰁜󰄢
 
󰄫
       
󰄫
󰄫
  
  ZFC       
      ZF  AC      
 
󰄫
          
󰁒
󰃯󰁜󰁓

󰃯󰞃󰄹
󰃯
    
󰄪󰁜󰁓
       
  
󰄫
             
󰄹
      
 

󰄹
  
      
 
󰄪󰁜󰁓
 
󰄹
        
       

󰄪󰁜󰁓
      
 
           

󰄹
 
󰄹
   

󰃯
 
󰃯

󰄹
 

󰃯
              
         
      

󰄹
        
        AC       
   
             
󰄡
           
󰄡


󰄪󰁜󰁓
        
󰄤󰁜󰁔
󰄤󰁜󰁔

   

             
  
󰄤󰁜󰁔
            
       
󰄪󰁜󰁓
󰄤󰁜󰁔
 
       
󰄤󰁜󰁓
󰄤󰁜󰁓
     
󰄤
󰄤
         
󰄤󰁜󰁓
󰄤󰁜󰁓
 
  
󰈝
󰄤
󰄤
         
      

    
           
             



 




   


 
  


             
            
           
󰃠
              

              
             

          
              
            
   
