出典:Wikipedia
出典:『Wikipedia』 (2011/04/27 18:03 UTC 版)
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 Peano axioms.