19/10/12 17:05:59.42 0oc9Ztsl.net
>>300
ちょっと意味がとれない
1)>>295より(坪井明人 筑波大)”正則性公理は、「空でない集合 x には ∈ に関して極小となる元 z ∈ x があること」です”は、いいですか?
2)「Ω=x1∋x2∋x3」に対し、
上記の”数理論理学II 坪井明人 筑波大”の「大小」の意味(”極小となる”などの表現)で
大小記号”>”を流用して表現しますと
”x1>x2>x3”と、通常の自然数の大小関係が逆転した表現になるということの理解は、良いですか?
3)確かに、別に表記は何でも言いとは言える。例えば
Ω = x1(=xァ) ∋ x2(=xィ) ∋ x3(=xゥ)
と、半角の小カナ ァ、ィ、ゥ でも何でも、名付けを変換しても同じです。数学の本質は不変です
4)ですが、自然数”1、2、3・・”の通常の大小関係を逆転し、錯覚させる表記は、”百害あって一利無し”と思いますよ!(というか、自分が何か錯覚していませんか?)
以上