Tag: set theory

• Wetzel's problem and the continuum hypothesis (27 Apr 2022)
  
• Integrating Zermelo-Fraenkel set theory with higher-order logic (06 Apr 2022)
  
• Equivalence classes and quotienting (30 Mar 2022)
  
• Types versus sets (and what about categories?) (16 Mar 2022)
  
• The hereditarily finite sets (23 Feb 2022)
  
• Formalising mathematics in set theory (02 Feb 2022)
  
• Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)
  
• The axiom of choice and descriptions (10 Nov 2021)