AC may be incorporated into the subset axiom.
The subset axiom says that, assuming the use of "vacuous truth," any set X has a subset.
AC would say that every pure set except those of cardinality less than 2 (as in {0,1}) has a nonempty proper subset.
But such a formulation requires an axiom of foundation, or the equivalent, in order to outlaw sets of "cardinality" less than 0. (That is, to forbid infinite descent definitions of not-so-primitive elements.)
To be or not to be. Is that Hegel's question?
If the sidebar is blank, try clicking a specific post to view the information
Monday, January 10, 2022
Subscribe to:
Posts (Atom)
AC and the subset axiom
AC may be incorporated into the subset axiom. The subset axiom says that, assuming the use of "vacuous truth," any set X has a s...
-
When you see X ⊃ Y, you are to read "X implies Y" or "If X, then Y." Sometimes you may see the modern form, X —> Y, i...
-
7 Whereof one cannot speak, thereof one must be silent. Ahh, one of those tautologies he speaks of. In any case, I suppose he means t...
-
When you see X ⊃ Y, you are to read "X implies Y" or "If X, then Y." Sometimes you may see the modern form, X —> Y, i...