17/08/13 11:17:22.48 VnwS7U3w.net
>>195
>君はわかってるだろうが、
君、わかってないなぁ
>>>189の絵でスレ主が反論するのは命題B
じゃないよ
そもそもそのストーリー以前の話だよ
>>189の絵は●が一個だけで、その後ろの尻尾がないだろ?
尻尾がないと、そこから同値類の代表列はとれないんだよ
要は「有限だろうが無限だろうが必ず終端がある!」とかいう
無限公理完全否定の独善ルールで、ACを否定することなく
選んだ列の同値類の代表列をとれない形にしている
確かにACは否定しないが、より根本的な無限公理を否定してる