General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the first-order Peano axioms. == Ontology == The ontology of GST is identical to that of ZFC, and hence is thoroughly canonical.
General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the first-order Peano axioms. == Ontology == The ontology of GST is identical to that of ZFC, and hence is thoroughly canonical.
Source: Wikipedia "General set theory" · CC BY-SA 4.0
Share this article: X · Bluesky