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