It is not the case that Labeling AC-dependent results as 'conditionals' rather than theorems creates awkward notation and doesn't reflect how working mathematicians actually reason about cardinality.
?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.