Tarski–Grothendieck set theory
id:
tarski-grothendieck-set-theory-183-18648571
title:
Tarski–Grothendieck set theory
text:
Tarski–Grothendieck set theory is an axiomatic set theory. It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom, which states that for each set there is a Grothendieck universe it belongs to. Tarski's axiom implies the existence of inaccessible cardinals, providing a richer ontology than ZFC. For example, adding this axiom supports category theory. The Mizar system and Metamath use Tarski
brand slug:
wiki
category slug:
encyclopedia
description:
System of mathematical set theory
original url:
https://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory
date created:
2006-07-25T04:26:32Z
date modified:
2024-09-07T00:22:56Z
main entity:
{"identifier":"Q3984085","url":"https://www.wikidata.org/entity/Q3984085"}
image:
fields total:
13
integrity:
15