>>37
>積集合を公理化すれば和集合は公理化不要とか言っちゃうオチコボレが何か言っとる

ふっふ、ほっほ
下記 ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”なる式が
ペアノ公理の自然数の集合論的構成 ja.wikipedia に書かれていたのです

おれは、こんな式訳分からんぞといったところ
ある 数学科 オチコボレさんが 積集合∩ は、数学科では自明だ
と言い出した

だが、その数学科 オチコボレさん
数学科で もし 学生や院生(M生)が「自明」といえば
徹底的に 突かれて 黒板ハリツケの刑が 日常茶飯事だ
（「自明」と言っていいのは、講義の教授だけだ　；ｐ）

学生や院生(M生)の「自明」は
しばしば 理解不十分をゴマカス言い訳と相場が決まっている

さてさて、”∩は自明”必死で逃げ回る オチコボレさんよ
詰んでるよね あなたｗ　；ｐ）

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1753002417/55
　”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”ペアノ公理の自然数の集合論的構成 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
　”Aは無限公理により存在する集合を任意に選んだもの”