Um das kurz auszuführen: ZFC steht für die Zermelo-Fraenkel-Mengenlehre mit Auswahl-Axiom (C wie Choice).
Die Mengenlehre kann mit und ohne Auswahl-Axiom definiert werden und stellt die fundamentalen Grundregeln dar. Daraus können alle Theoreme (“Regeln” der Mathematik) hergeleitet werden.
Mathematik hat Regeln (ZFC), also ist es ein Wettkampf.
Um das kurz auszuführen: ZFC steht für die Zermelo-Fraenkel-Mengenlehre mit Auswahl-Axiom (C wie Choice). Die Mengenlehre kann mit und ohne Auswahl-Axiom definiert werden und stellt die fundamentalen Grundregeln dar. Daraus können alle Theoreme (“Regeln” der Mathematik) hergeleitet werden.
Ketzer!
Mathematik hat Regeln (ZF), also ist es ein Wettkampf.
Mal etwas Abendlektüre