Axiomatic Set Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Axiomatic Set Theory.

• Tarski–Grothendieck set theory — An axiomatic set theory extending ZFC with an axiom that places every set inside a Grothendieck-style universe, thereby implying unbounded inaccessible cardinals.