It is not the case that AC is independent of ZF: theorems requiring AC cannot be proven in ZF alone, making them contingent rather than foundational truths.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.