Quartz 4

Home

❯

Set Theory

Set Theory

Feb 08, 20261 min read

Non-constructive approach to the foundations of mathematics made by defining everything mathematical object as just a collection of other mathematical objects, using the singular relation ∈:Set\texttimesSet→Prop. It was an early approach to foundations of mathematics, proposed by Richard Dedekind and Georg Cantor in the 1870s. Naive set theory was inconsistent, allowing for Russell’s Paradox, Cantor’s Diagonalization, and Burali-Forti Paradox


Graph View

Backlinks

  • Discrete Mathematics
  • Impredicative
  • Ordinal Number
  • Set
  • Intuitionistic Type Theory
  • Univalent Foundations
  • Index

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community