Große Kardinalzahl

In der Mengenlehre wird eine Kardinalzahl als große Kardinalzahl bezeichnet, wenn ihre Existenz erwiesenermaßen nicht mit den üblichen Axiomen der Zermelo-Fraenkel-Mengenlehre (ZFC) bewiesen werden kann. Nimmt man die Aussage, dass eine große Kardinalzahl mit einer bestimmten Eigenschaft existiert, als neues Axiom zu ZFC hinzu, erhält man eine stärkere Theorie, in der einige der in ZFC unentscheidbaren Sätze entschieden werden können. Diese Große-Kardinalzahl-Axiome spielen deshalb in der modernen Mengenlehre eine wichtige Rolle.