XPost: sci.logic, sci.math   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Yeah, ZF only is fun. This is also fun:   
      
   ZF ⊊ ZF + (some weak forms of choice, e.g. CC or DC)   
       ⊊ ZF + Ultrafilter Lemma / BPIT   
       = ZF + Tychonoff for compact Hausdorff spaces   
       ⊊ ZF + Tychonoff for all compact spaces   
       = ZF + AC (i.e. ZFC)   
      
   Each “⊊” here means every theorem provable in   
   lhs is provable in rhs , but not conversely.   
      
   The Starmaker schrieb:   
   > I see you edited out all the ...hallucinations!   
   >> I look forward to our next session, where we can formally proceed with   
   >> the articulation of the Finlayson Function (EF) and the axiomatic   
   >> structure of FST.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)