> "We can show that using the axioms of Zermelo-Fraenkel Set Theory we cannot prove the product of an infinite collection of non-empty sets to be non-empty. That seems daft..."
Indeed, and it's exactly the sort of thing that you should not simply proclaim to be true with no explanation or reference.
I'll see if I can hunt out an accessible reference. Problem is, I think it uses Cohen's forcing, and that's pretty tough going in any kind of detail. I might add a note ... thanks for the suggestion.
You don't have to give a full proof, just an intuitive explanation of why the "obvious" arguments fail. For example, we can prove the non-emptiness of product sets for finite sets. Why can that not simply be extended in the "obvious" way to infinite sets? How can making the sets "bigger" suddenly make the product empty?
The problem I have is that "intuitive arguments" differ between people. What one person thinks is intuitively obviously true, another can think is intuitively obviously false.
I'll have to think about what I would be trying to say.
It's a good point ... it's now explicitly on my list.
Comments
Thank you.
I'll see if I can hunt out an accessible reference. Problem is, I think it uses Cohen's forcing, and that's pretty tough going in any kind of detail. I might add a note ... thanks for the suggestion.
https://blog.rongarret.info/2023/01/an-intuitive-counterexam...
I've bookmarked that for when I have a coffee, biscuit, and 30 minutes. Thank you.
You don't have to give a full proof, just an intuitive explanation of why the "obvious" arguments fail. For example, we can prove the non-emptiness of product sets for finite sets. Why can that not simply be extended in the "obvious" way to infinite sets? How can making the sets "bigger" suddenly make the product empty?
Hmm. I'll have to think more about that.
The problem I have is that "intuitive arguments" differ between people. What one person thinks is intuitively obviously true, another can think is intuitively obviously false.
I'll have to think about what I would be trying to say.
It's a good point ... it's now explicitly on my list.
Thank you.