Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals

Source URL: www.paultaylor.eu

• Ordinal numbers
• Set theory
• Mathematical logic
• Recursion
• Wellfoundedness
• Constructible universe
• Well-founded relation
• Transfinite induction
• Transitive set
• Burali-Forti paradox
• Equality
• Implementation of mathematics in set theory

CANTOR AND THE BURALI-FORTI PARADOX Introduction In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 18

Source URL: philebus.tamu.edu