However, ZF plus GCH implies AC, making GCH a strictly stronger claim than AC, even though they are both independent of ZF.
Ωστόσο, ZF συν GCH συνεπάγεται AC, καθιστώντας GCH αυστηρά ισχυρότερη αξίωση από τους AC, ακόμα κι αν είναι τόσο ανεξάρτητη από το ZF.