>>211
>>>200
>>「無限族として独立」ならば、選択公理は偽となります？
>>あほか　そんなわけないだろ！
>Gabay-O'connorの定理によれば、
>選択公理は「無限族としての独立性」を否定する

下記貼るよ
やっぱりアホじゃね？

https://digitalworks.union.edu/cgi/viewcontent.cgi?article=1042&context=theses
Union | Digital Works
Honors Theses Student Work 6-2017
Choice of Choice: Paradoxical Results Surrounding of the Axiom of Choice
Connor Hurley Union College - Schenectady, NY March 15, 2017

P6
2.3 The Gabay-O'Connor Theorem

2.4 Lenstra's Theorem
Let's look at an extension of the Gabay-O'Connor Theorem.
But if we extend the Gabay-O'Connor Theorem
without guaranteeing a certain number of correct guesses we can arrive at Lenstra's
Theorem, as stated below.