Der ZFC-Artikel braucht nicht radikal bis auf die Formeln gekürzt zu werden, er kann ruhig so stehenbleiben wie jetzt. Es sollte lediglich jedes einzelne Axiom mit seinem entsprechenden Spezialartikel verlinkt werden, in dem es dann ganz ausführlich erklärt wird, einschließlich der Formelzeichenerklärung und ein oder zwei anschaulichen konkreten Beispielen. -- Wikilaser 12:19, 17. Jun. 2011 (CEST)