Paul Cohen I understand constructed such a set of axioms, which logically imply the existence of an evil set family like that. Constructive is of course preferred for extra WTF.

  • goosethe@lemmy.sdf.orgM
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    Without choice, it’s impossible to guarantee that an arbitrary product of non-empty sets is non-empty. The Cartesian product would just be a set containing the empty function, which is a singleton set and therefore non-empty. This definition doesn’t rely on the Axiom of Choice, so we can prove in ZF¬C that the empty Cartesian product of non-empty sets is non-empty. So, the question of proving that an empty Cartesian product of non-empty sets is non-empty in ZF¬C does not seem to be problematic. This is the same across all standard set theories (ZF, ZF¬C, ZFC), because it’s not about selecting an element from each of the sets in the family (which would require AC), it’s just about the definition of the Cartesian product when there are no sets in the family.

    • CanadaPlus@lemmy.sdf.orgOP
      link
      fedilink
      arrow-up
      1
      ·
      1 year ago

      Ah okay, I misunderstood. Am I still right to understand that there would have to be a product that produces the empty function on the union of sets in the family (hopefully I got that right this time)?

      Thanks for the answers, by the way.