Analysis of information sources in references of the Wikipedia article "Tarski–Grothendieck set theory" in English language version.
First we prove in Theorem (17) that every Grothendieck universe satisfies Tarski's Axiom A.
Later Grothendieck introduced the concept of Grothendieck universes and showed they were equal to transitive Tarski classes.
First we prove in Theorem (17) that every Grothendieck universe satisfies Tarski's Axiom A.
