>>479
>実数R、有理数Qなどは、古典論理の外の直観主義などの構成的数学でも認められているが
>選択公理は、直観主義など構成的数学でも認められない！

●タ　ついに選択公理を否定

>おれは、別にZFCの下でのヴィタリ集合Vの存在及び、Vの非可測は否定しないよ
>ja.wikipediaの構成と証明を認める

理解もせずに
「まわりがそういってるから」
とかいうだけで付和雷同で認めるのは●●

>但し、念のために指摘しておくが
>”存在例化”や”固定”といった
>”寝言”書いてないよ

存在例化の推論規則を理解していれば
ヴィタリ集合の非可測性証明のどこで
存在例化を使ってるか即座にわかる

わからん奴は存在例化分かってない

>二手先を読んで、”寝言”には付き合わない。
>二手先に99/100が出てくるぞ

二手先の非可測性を認めるなら
二手先の99/100も認めるしかない
まったく同じ推論だから
残念だったな　●タ