26/07/20 02:08:01.14 uqomNNcQ.net
>>137
ZFC集合論の宇宙Vはそもそも架空の存在だけどね。ZFCでVの存在を証明できたら不完全性定理に反するから。
証明しようと思ったらZFCU（ZFC+宇宙公理）などのメタ理論が必要になる。
152:１３２人目の素数さん
26/07/20 02:08:53.00 B6WVrHSM.net
>>149,150
ホラすぐ他責思考で他人を支配しようとする
ゲス爺
153:１３２人目の素数さん
26/07/20 02:09:30.77 eVHHx3Nc.net
ま、今日は速やかに寝るがね。
明日はオフだが、昼間は暑くて寝れたもんじゃないから、夜にきちんと寝なければならない。
夏は睡眠不足になりやすいから、そろそろ寝させてくれな。
154:１３２人目の素数さん
26/07/20 02:09:55.48 B6WVrHSM.net
>>151
勿論そうだけどそこまで拡張できるの面白くない？
あと
自分はゲーデル同様Vの存在は信じてる
てかほとんどの数学者はそうじゃね？
155:１３２人目の素数さん
26/07/20 02:10:50.38 eVHHx3Nc.net
>>152
もう別に何思考でも良いよ。
適当に良さそうな名前でも付けてくれw
156:１３２人目の素数さん
26/07/20 02:11:34.87 B6WVrHSM.net
>>153
今日はこの辺にしといてやるわって
吉本新喜劇か
157:１３２人目の素数さん
26/07/20 02:12:03.66 B6WVrHSM.net
>>155
吉本新喜劇思考はどうかな
ゲス爺
158:１３２人目の素数さん
26/07/20 02:12:56.91 B6WVrHSM.net
集合論を学んだほとんどの数学者
ね
159:１３２人目の素数さん
26/07/20 02:13:47.45 eVHHx3Nc.net
>>156
池野めだか思考でも、間寛平GM思考でも何でもええよ。
この暑さは俺には致命傷になるからな。
160:１３２人目の素数さん
26/07/20 02:14:36.26 B6WVrHSM.net
>>159
吉本にワルイからやっぱ他責思考で
荒らしのゲス爺
161:１３２人目の素数さん
26/07/20 02:14:45.68 eVHHx3Nc.net
お笑い好きには本望の思考だよ。
それでは、おやすみ。
162:１３２人目の素数さん
26/07/20 02:16:25.98 B6WVrHSM.net
>>161
やっぱ吉本新喜劇ひっぱりだして吉本に申し訳なかった
ここは他責思考で
ゲス爺
163:１３２人目の素数さん
26/07/20 02:18:12.50 eVHHx3Nc.net
>>162
うい～す
164:１３２人目の素数さん
26/07/20 11:34:30.94 puPXtWZZ.net
>>150
こんなとこに書き込んでる間に本読めばルベーグ積分なんてすぐだろ
165:１３２人目の素数さん
26/07/20 11:36:35.17 hf1bB5x+.net
>>164
そうだね。
すぐなのかは知らんが。
166:１３２人目の素数さん
26/07/20 22:28:01.50 B6WVrHSM.net
>>164
定義はすぐだが
様々な証明は
それなりに大変
167:１３２人目の素数さん
26/07/20 22:33:46.92 mnKr1/Da.net
やすえ姐さん
168:１３２人目の素数さん
26/07/20 22:36:16.31 mnKr1/Da.net
怖かったw
169:１３２人目の素数さん
26/07/22 13:40:52.00 Rv/UgJDY.net
>>166
証明も大したことないだろ。
本に書いてあるんだし。
170:１３２人目の素数さん
26/07/22 14:54:20.14 c+hkhx91.net
>>169
単関数て何？
171:１３２人目の素数さん
26/07/22 20:52:34.72 QCaNv3B1.net
単関数は板の集まりで、可測関数の近似として使う