It is not the case that Class bijections needn't be *definable* in a fixed language—they can exist as formal relations within set theory independent of our ability to describe them.
?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.