Definition:Zermelo-Fraenkel Set Theory with Axiom of Choice/Historical Note

Historical Note on ZFC
ZFC is generally accepted by mathematicians as a "reasonably good foundation" of mathematics.


 * We are far from claiming superiority of ZFC over alternative foundations of mathematics. For whatever reason, it won the competition. It does a decent job; so let us stick to it. It should be pointed out though that, to the best of our knowledge, none of the competitors to ZFC resolves the question of truth or falsity of CH, SH, MA, $\diamondsuit$, or of any other statement whose independence of ZFC has been established by the method of forcing.
 * -- : Introduction