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...

  • A review of Tractatus by Wittgenstein
    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...
  • Tractatus 7
    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...
  • Tractatus 4
    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...