Inter-universal geometry と ABC予想 (応援スレ) 73 (835ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
37(1): 07/23(水)10:40 ID:xTw7DgsA(1/2) AAS
積集合を公理化すれば和集合は公理化不要とか言っちゃうオチコボレが何か言っとる
39(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)13:44 ID:wMoU4wX9(2/2) AAS
>>37
>積集合を公理化すれば和集合は公理化不要とか言っちゃうオチコボレが何か言っとる
ふっふ、ほっほ
下記 ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”なる式が
ペアノ公理の自然数の集合論的構成 ja.wikipedia に書かれていたのです
おれは、こんな式訳分からんぞといったところ
ある 数学科 オチコボレさんが 積集合∩ は、数学科では自明だ
と言い出した
だが、その数学科 オチコボレさん
数学科で もし 学生や院生(M生)が「自明」といえば
徹底的に 突かれて 黒板ハリツケの刑が 日常茶飯事だ
（「自明」と言っていいのは、講義の教授だけだ ；ｐ）
学生や院生(M生)の「自明」は
しばしば 理解不十分をゴマカス言い訳と相場が決まっている
さてさて、”∩は自明”必死で逃げ回る オチコボレさんよ
詰んでるよね あなたｗ ；ｐ）
(参考)
2chｽﾚ:math
”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”ペアノ公理の自然数の集合論的構成 外部ﾘﾝｸ:ja.wikipedia.org
”Aは無限公理により存在する集合を任意に選んだもの”
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.033s