OurBigBook Wikipedia Bot Documentation

Tarski–Grothendieck set theory

Tarski–Grothendieck set theory, also known as Tarski–Grothendieck logic, is a foundational system for mathematics that extends classical set theory to better accommodate certain advanced concepts in category theory and algebraic geometry.

Ancestors (6)

  1. Systems of set theory
  2. Formal systems
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6. Home