1 :
132人目の素数さん:
ちゃんとした説明できる?
もしかして単発質問?
「初等的な証明」というとき
考えられるのは2つ。
1:数学のあるレベル(簡単に言ってしまうと高校とか
大学教養で習う範囲)で示せる証明
2:設問(定理の証明など)と同じジャンルの数学で示す
ことができる証明
例えば平面幾何の定理を実数の完備性を使って証明したな
どという場合、1の立場なら「初等的な証明」でも2の
立場なら「初等的な証明」とは言えなくなる。
5 :
132人目の素数さん:03/05/30 01:51
初等的ってのはなあ
陰毛が生えてないってことなんだよ
わかったか
>>4 「初等的な証明」というのは
証明しようとしたひとが・・・のとき
にいう。
7 :
132人目の素数さん:03/05/30 02:06
初等的ってのは、函数解析に乗るまえのもの.
小学校で習うもの
>>8 素数定理の初等的な証明を小学校で教えてくれるのだろうか。
>>7 そういうふうに決めてしまえばいいってことですか。
小学校では、証明はしないですが、結構いろいろなことを習います
その範囲で証明できれば初等的証明と言えるのではないでしょうか
13 :
132人目の素数さん:03/05/30 04:00
初等的=複素数を使わない範囲で理論を展開する
という使い方は初等整数論なんかがそうですね。
ヒルベルトより前の数学者の知識の範囲内である…とか。
ある定理が「初等的に証明できた」というとき
どういうように証明できれば、そう言えるのでしょうか。
例えばフェルマーの最終定理が「初等的に証明できた」
といえるには、どういう証明であればいいのでしょうか。
> 例えばフェルマーの最終定理が「初等的に証明できた」
因数分解したら自明だったとか両辺の mod とったら解決できちゃったとか
そういう解法が見つかれば初等的っていえるんじゃないかな。
# もちろん無いだろうけどナー
「公理を幾つか付け足してる」等の本質的な違いがあるかだ。
19 :
132人目の素数さん:03/06/26 05:56
5
20 :
132人目の素数さん:03/07/15 07:51
17
21 :
132人目の素数さん:03/07/15 10:14
23
__∧_∧_
|( ^^ )| <寝るぽ(^^)
|\⌒⌒⌒\
\ |⌒⌒⌒~| 山崎渉
~ ̄ ̄ ̄ ̄
23 :
132人目の素数さん:03/07/21 20:57
初等的=自然数論の公理系内ってのは?
24 :
132人目の素数さん:03/07/21 20:58
(´・∀・`)ヘー
25 :
k加賀 ◆BIQ4VbXsYM :03/07/25 22:07
ほー
27 :
132人目の素数さん:03/08/14 05:17
1
厨房や荒房を引きつけるための甘い罠さ…
(⌒V⌒)
│ ^ ^ │<これからも僕を応援して下さいね(^^)。
⊂| |つ
(_)(_) 山崎パン
30 :
132人目の素数さん:03/08/27 06:31
1
31 :
132人目の素数さん:03/10/04 06:12
9
32 :
132人目の素数さん:03/10/30 04:43
6
33
34 :
132人目の素数さん:03/11/15 05:44
2
簡単そうに見えたら初等的。
36 :
132人目の素数さん:03/11/15 12:24
甘かったら初等的
37 :
132人目の素数さん:03/11/15 12:44
関数論を用いないってことだろ
38 :
132人目の素数さん:03/12/04 14:41
3
085
40 :
132人目の素数さん:03/12/26 06:10
22
823
42 :
132人目の素数さん:04/01/18 09:28
28
383
44 :
132人目の素数さん:04/02/05 23:08
「容易に」と同様使う人の判断による
45 :
132人目の素数さん:04/02/05 23:17
ショ糖は甘い。
46 :
132人目の素数さん:04/02/06 05:12
有限な軌道が存在する群
「超越的」に対応して使われるのではないか。
三角関数は初等関数とされるけど
幾何の定理の証明に使った場合それは初等的でない感じがする。
初等関数自体は初等関数の「原子」から有限回の演算で得られるものを指すから初等的なんだろうが。
ところでサイクロイドって初等関数で表せるけど初等幾何の対象じゃないよね?
こういう所にも何かヒントがありそうなんだが…。
119
50 :
132人目の素数さん:04/03/19 21:11
925
797
835
765
初等的=俺様にも分かる
<math>
<mrow>
<mi>z</mi>
<mo>=</mo>
<mi>r</mi>
<mtext>  </mtext>
<mrow>
<mo>(</mo>
<mrow>
<mo>cos</mo>
<mi>θ</mi>
<mo>+</mo>
<mi>i</mi>
<mo>sin</mo>
<mi>θ</mi>
</mrow>
<mo>)</mo>
</mrow>
</mrow>
</math>
56 :
132人目の素数さん:04/05/22 14:47
5
688
58 :
132人目の素数さん:04/06/06 18:55
354
59 :
132人目の素数さん:04/06/14 02:12
961
60 :
132人目の素数さん:04/06/14 02:38
初等的=100年後に中学校の入試に出る
61 :
132人目の素数さん:04/06/15 01:36
412
62 :
132人目の素数さん:04/06/23 22:56
239
63 :
132人目の素数さん:04/07/03 12:15
776
65 :
132人目の素数さん:04/07/04 00:21
Selberg は算術級数の素数定理の初等的証明で
フィールズ賞をゲットした。
66 :
132人目の素数さん:04/07/08 17:53
67 :
132人目の素数さん:04/07/08 18:06
68 :
132人目の素数さん:04/07/12 08:48
>>1 馬鹿でもわかるという意味ではないことだけは確か
69 :
132人目の素数さん:04/07/27 00:14
arithmetic
70 :
132人目の素数さん:04/08/03 20:35
237
71 :
132人目の素数さん:04/08/05 23:20
71
72 :
132人目の素数さん:04/08/13 06:12
826
73 :
132人目の素数さん:04/08/20 14:29
640
74 :
132人目の素数さん:04/08/27 23:21
123
解析途中の理論を使わなくても証明できる程度ってことか?
76 :
132人目の素数さん:04/09/05 02:41
978
77 :
132人目の素数さん:04/09/09 22:45
261
78 :
132人目の素数さん:04/09/15 19:14:13
290
馬鹿と同等
80 :
132人目の素数さん:04/09/15 19:51:39
じつはこれが全て、後は自分で考えろって感じでわ。
81 :
132人目の素数さん:04/09/20 18:20:54
844
82 :
132人目の素数さん:04/09/26 01:45:38
553
83 :
132人目の素数さん:04/10/01 19:28:41
601
84 :
132人目の素数さん:04/10/06 10:43:42
511
同等以下だ
86 :
132人目の素数さん:04/10/13 22:57:51
同等より大分低いよ
チョンチンなみ
253
88 :
132人目の素数さん:04/10/23 16:03:15
ヽ∂ノノノノノノ ∂☆
ノノ;;;;;;;;;;;;;;;;`';;;;;;;ノノ☆
ヽ/;;;;;;;;〃/´ヾヘ;;;;;;;;;;;ヽ ☆
ヽ/;;;;;;;((,/ i;;;;ノ;;ノ;i ☆ 漏れ、解析系。D3。
ヽ|;;;;;;;;;i !/ ─ .ノノ)ノノ|☆ 夢はフィールズ賞だ!
ノ |;;;;;;;;;| 6 ∂ i;;;;;i| ☆ 北海道のティムポはうまいよ、
ノ |;;;;;;;;i ”” ゝ |;;;;;;;|☆ それ喰ってフィールズ賞とってやるぜ!
!ノ;)ノ\ ≪> .ノ;;;;;〈 Ψ
>>680、漏れと一発やらないか?
|((/´ i ` ー─ 'iヽヾ);;)|`i ω∩ 楽天ガニよりシタラバガニ
ヽ /\ ̄ ̄`ヽノ i (\_l !)))
ヽ/  ̄ ̄ヾ 〃´ ヽ/ ) ' ノ
ヽ / V A K A D A N A
89 :
132人目の素数さん:04/10/23 16:56:38
「こんなこともわからない奴は馬鹿」を遠まわしに表現した言葉
大学でやる以前の数学って意味では?
91 :
132人目の素数さん:04/10/29 11:55:15
249
92 :
132人目の素数さん:04/10/29 22:52:52
初めての投てき
93 :
working woman:04/10/30 19:53:08
自分でも分かるって意味。
94 :
132人目の素数さん:04/10/30 20:17:22
小学校レベルという意味
95 :
ChaosicSoul ◆/yaJbLAHGw :04/10/31 11:09:35
Re:>93 それは違う。自分で分かるからといって初等的とは限らない。
Re:>94 正しいかもしれない。
ChaosicSoul ◆/yaJbLAHGw さん
あなたきっと頭いいのね
97 :
ChaosicSoul ◆/yaJbLAHGw :04/10/31 14:27:16
Re:>96 私のことを過度に頭がいいと思い込むのは危険であるよ。
初等的ってのは like working woman って意味です。
99 :
ChaosicSoul ◆/yaJbLAHGw :04/10/31 14:35:12
Re:>98 私が2chからしばらく目を離している間に現れたworking woman とは何者?
ちょとかじってすぐ偉そうになる馬鹿。
101 :
ChaosicSoul ◆/yaJbLAHGw :04/10/31 14:40:07
Re:>100 2chに居る奴は殆どが偉そうだがね。
君には負けるが
103 :
132人目の素数さん:04/10/31 14:50:22
自分の宿題を平然と他人にやらせる奴が多すぎる
好きでもない奴に、必修にする方もどうかと思うよ
105 :
132人目の素数さん:04/10/31 15:02:45
他人は虫ケラと同じ。タダ働きさせても心が痛まない。
そんな心ない奴ばかりでもないだろう。
いいから、もう(できれば)数学の話しようや。
107 :
ChaosicSoul ◆/yaJbLAHGw :04/10/31 15:17:00
Re:>106 あのスレタイで何の話ができるのだろう?
例えば、素数定理の初等的証明についてとか、
超越性に関する初等的証明についてとか
いくらでもあるだろうが、
Selberg の定理(行列群の部分群)なんか、初等的どころか、
自明的な証明がありますわよ
モデル理論でelementaryというと大体一階述語論理の、ぐらいの意味
とマニアックなことを語ってみる
elementary submodelのことはどう説明つけるつもりだ
112 :
working woman:04/11/05 15:05:53
hyper(super)elementary subgroup は後存知ね。
>>111さん
おまえら、初等的って言葉の意味すら忘れたようだな、けっ!!
114 :
working woman:04/11/05 16:20:19
あなたはご存知なの?
うむ。よくぞ聞いてくれた。
群論はだな、こんな程度の定義でこんなにも多くの事がいえてしまうと言う点がすばらしいんだ。
しかしだな、初等的ってのはそんな知識を用いないでもって事だ。
したがって、解析でも幾何でも要するに”道具立て”を用いなくともって事だ。
こんな〜、そんな〜なんていわれても良く分からんよ
因みに集合論の知識は結構使わんと厳しいと思われ。
117 :
132人目の素数さん:04/11/05 22:31:09
きびしー!
118 :
132人目の素数さん:04/11/07 23:42:02
ってかさあ、初等的って言葉ぐらい初等的に説明したら?
別に定義もないんだし?
119 :
132人目の素数さん:04/11/07 23:51:08
だから小学校程度って言ってんだろ!
じゃあ、終了でつか?
121 :
132人目の素数さん:04/11/10 17:19:38
初等教育:大学で行っている教育
高等教育:小学校で行っている教育
122 :
132人目の素数さん:04/11/10 20:13:13
大学院:役に立たん教育
123 :
132人目の素数さん:04/11/12 12:04:20
初等幾何:大卒の一般人が好む幾何
うーん、シュタイナーの定理とか
清宮の定理とか一般人が好むかなあ
と敢えて極端な場合を挙げて反例を構成してみるテスト
125 :
132人目の素数さん:04/11/12 15:36:42
書籍についての質問です 特車二課 <h219-110-075-231.catv01.itscom.jp>
本の名前:幾何の研究 著者:清宮俊雄 出版者:旺文社
この本の内容について知りたいのですが、
概要で構わないので、どのような事が書いてあるのか教えてください。
それによって購入するかどうかを検討するので。お願いします。
No.11618 2004/10/27 (水) 03:00
清宮さんはユークリッド幾何に異常に精通しておられる方ですから、そっち方面では
ないでしょうか?
つまり、ユークリッドの幾何学原論がありますよね。あっち方向かと思われ。
清宮の定理
三角形 ABC の外接円周上の A 、B 、C とは異なる2点を P 、Q とし、
点 P の3辺 BC 、CA 、AB に関する対称点を U 、V 、W とするとき、
QU 、QV 、QW と辺 BC 、CA 、AB またはその延長との交点 D 、E 、F が
1直線上にある。
128 :
132人目の素数さん:04/11/13 18:26:37
特車二課 <h219-110-075-231.catv01.itscom.
さんに教えあげてください
129 :
132人目の素数さん:04/11/15 20:12:09
と言う事です。
いつも2チャンをご覧になっている
特車二課 <h219-110-075-231.catv01.itscom.jp>
さん
いや、だからさ、初等幾何(中学校でやる幾何)の話じゃないかな、多分。
まあ、初等幾何っていっても奥は深いのだよ、何事もそうだが、、、。
132 :
132人目の素数さん:04/11/16 00:56:56
お前も奥深い馬鹿か?
133 :
132人目の素数さん:04/11/16 17:37:39
いや、むしろ、奥深いのは河馬かもしれない。
河豚っていうのは深いかな?全然、ちがうかな?
135 :
132人目の素数さん:04/11/19 11:06:46
提灯アンコウ
136 :
132人目の素数さん:04/11/19 11:20:36
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
137 :
132人目の素数さん:04/11/24 19:41:21
861
138 :
132人目の素数さん:04/12/01 23:41:36
650
139 :
132人目の素数さん:04/12/08 21:57:29
379
140 :
132人目の素数さん:04/12/08 21:58:08
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■□□□□□■■■■■■■■□□■■■■■■■■■■■■■■■■■■
■■■□□□□□■■■■■■■■□□■■■■■■■□□□□□□□□□□■
■■■■■■■■■■■■■■■□□■■■■■■■■□□□□□□□□□□■
■■□□□□□□□■■■■■■□□■■■■■■■■■■■■■■■□□■■
■□□□□□□□□□■■■■□□■■■■■■■■■■■■■■■□□■■■
■□□■■■■■□□□■■■□□■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■□□■■□□□□■■■■■■■■■■■■■■■■■■■
■■■■■■■■■□□■■□□□□□■■■■■■□□■■■■■■■■■■
■■■■■■■■□□□■□□□■□□□■■□□■□□■■■■■■■■■■
■■■■■■■□□□■■□□■■■□□■■□□■■□□■■■■■■■■■
■■■■□□□□□■■□□■■■■□□□□□□■■□□□□□□□□□□■
■■■■□□□■■■■□□■■■■■□□□□■■■■□□□□□□□□□■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
しなさい
142 :
132人目の素数さん:04/12/12 15:22:24
age
143 :
132人目の素数さん:04/12/19 23:31:13
936
144 :
132人目の素数さん:04/12/25 10:43:56
935
あなたきっと頭いいのね
146 :
132人目の素数さん:05/01/05 02:30:11
636
768
148 :
132人目の素数さん:05/02/22 19:43:32
856
>初等的
簡単だからここ証明しなくてもいいかな?って思ったことじゃない?
後から見直してみて、書いてみると意外と面倒だなと気が付いても、
書き直すと冗長になってしまうからこのままでいいや、という部分。
150 :
132人目の素数さん:05/03/04 13:36:05
533
151 :
132人目の素数さん:05/03/15 02:59:53
913
152 :
132人目の素数さん:2005/03/26(土) 13:08:29
589
153 :
132人目の素数さん:2005/04/07(木) 23:59:17
727
154 :
132人目の素数さん:2005/04/26(火) 17:48:30
363
155 :
132人目の素数さん:2005/05/11(水) 23:29:46
319
156 :
132人目の素数さん:2005/05/12(木) 00:07:31
初等的という言葉は
その予想が定理となった最初の証明よりも格段に予備知識を必要としない時に使う。
ただ、道具立てが制限されてる分、テクニカルな処理を要する。
157 :
BlockKnightOffline ◆yPnpjLO5jE :2005/05/12(木) 00:09:33
初めてマンコに触れたとき、
「痛い!もっとやさしく」といわれるような指マンを現代日本の数学界では初等的という。
158 :
132人目の素数さん:2005/05/12(木) 00:22:25
>>156の論を裏付ける物として、
予想が定理となったときの証明が初めから簡単・初等的なものであれば、
それ以上高等な知識を使って証明しても注目されないし、
そういうものは最初よりもよほどエレガントな物にならない限り注目されない
高等な予備知識・道具立てを使うしか突破口がないと思われていた物が
実はもっと簡単な道具立てで解けることの驚きをこめて
初等的証明と言う言葉が使われる
159 :
BlockKnightOffline ◆yPnpjLO5jE :2005/05/12(木) 00:37:24
>>157の論を裏付ける根拠を挙げよう。
まずは、性行為のみならず、対象に対する向き合い方が初等的だという側面から述べる。医学的にいえば、マンコは外界に露出した粘膜であるために、敏感である。
特にclitorisには、中枢神経が集まっている。その扱いは丁寧かつ慎重に行わなければならない。マンコに始めて触れるとき、そのことを忘れてしまうような童貞は、
初等的といえるだろう。彼女にやさしくて、愛情のあるセックスをする理想の彼氏という印象を与えたいなら、何よりも丁寧に扱うことだ。丁寧に扱うということは、
恐れるということではない。マンコはたしかにグロイし気持ちが悪い。昆虫の蜘蛛の目玉のように8つもの穴を持つ、極めて異常な構造体だ。
童貞男子が、初めてマンコと出会い、吐き気を催すその物体に違和感を覚えるのは当然の感覚だろう。さらに、たとえそのマンコが、
事前に入念にシャワーを浴び清潔に保たれていたとしても、クンニを続けるうちに独特の異臭を放ち始め、塩味の混ざった液体を分泌し始めるなかで、
奇妙な現実感に襲われ、「ああ、オレなんでこんなことしてるんだろ」と一度は考えるものだ。しかしそこで自分を奮い立たせ、
再びセックスへの気力を取り戻せるかが、男子たるものの価値を決める。それが大事なんだ。そのときに自分のちんこを再び奮い立たせる力とは何だ?
答えてみろ?何だ。それは、初等的な性欲だ。初めて勃起し、初めて射精したあのときの感覚。
男は皆、それに頼り、支えられながらマンコという怪物と闘っている戦士なんだ。
そして、だからこそ大事なんだ。初等的だということが。初等的性欲が。忘れるな。決してな。
次回は、マンコについての価値観の側面だ。マンコとは何か?
二年。
161 :
132人目の素数さん:2005/05/30(月) 18:31:53
age
電波?
163 :
132人目の素数さん:2005/06/03(金) 19:59:26
出っ歯
164 :
132人目の素数さん:2005/06/03(金) 20:34:29
初潮的、、、、いいなぁーサイコー
165 :
165:2005/06/03(金) 20:51:05
1=6-5
166 :
166:2005/06/03(金) 21:59:35
1*6=6
167 :
132人目の素数さん:2005/06/03(金) 21:59:46
267
169 :
132人目の素数さん:2005/07/31(日) 06:26:11
315
170 :
132人目の素数さん:2005/08/25(木) 00:24:36
初等幾何
まあ総合幾何のことと考えて良いかな。
ユークリッド幾何、射影幾何が中心だが、
非ユークリッド幾何学もリーマンが登場するまでは総合的な方法で行われていた。
研究者のテーマとしてはSteinerあたりで終わってしまった分野。
今でも愛好家達によってやたら複雑な定理が見つかってるいるが。
初等的証明
数論なら算術の公理の範囲で証明すれば初等的証明ということになる。
算術の定理で算術の公理から証明できないものがあるというのが不完全性定理
6
172 :
132人目の素数さん:2005/10/06(木) 15:14:14
age
173 :
132人目の素数さん:2005/11/11(金) 15:36:36
981
174 :
132人目の素数さん:2005/11/28(月) 06:14:23
626
542
634
177 :
GiantLeaves ◆6fN.Sojv5w :2006/01/24(火) 22:05:59
480
827
181 :
132人目の素数さん:2006/04/11(火) 12:09:02
768
a^(logb)=b^(loga)とか初等的なんだが、とても不思議な気がする。
183 :
132人目の素数さん:2006/04/12(水) 22:24:14
king に聞け
184 :
GiantLeaves ◆6fN.Sojv5w :2006/04/12(水) 22:37:57
905
三年。
189 :
132人目の素数さん:2006/05/31(水) 22:39:13
elementary
190 :
132人目の素数さん:2006/06/07(水) 08:42:02
ゲ ゲ ゲゲゲのゲー
朝は寝床で グーグーグー
楽しいな 楽しいな
kingにゃ セミナーも
試験もなんにも ない
ゲ ゲ ゲゲゲのゲー
みんなで歌おう ゲゲゲのゲー
ゲッゲッゲゲゲのゲ
昼はのんびり2ちゃんねる
楽しいな 楽しいな
kingにゃ雑用も
仕事もなんにもない
ゲッゲッゲゲゲのゲ
みんなで歌おう ゲゲゲのゲ
191 :
GiantLeaves ◆6fN.Sojv5w :2006/06/07(水) 19:05:04
talk:
>>190 それより人の脳を読む能力を悪用する奴を潰せ。
801
448
あぼーん
195 :
132人目の素数さん:2006/08/07(月) 11:18:27
初等的 〜 ショート(短い)
197 :
132人目の素数さん:2006/08/13(日) 04:11:58
>>122 そりゃ数学科はな・・・w
工学系は大学院じゃないと役に立たない
昔のお菓子やラムネには、安価なショ糖が沢山入っていて子供の虫歯・肥満の一因であった。
環の一員に酸素を含むので
-C-O-C-C- の所が容易に酸化されてカルボン酸 -COOH となり酸性に傾くらしい。
. |
. OH
最近は非環状の糖類(キシリトールなど)に変わりつつある
530
840
202 :
132人目の素数さん:2006/11/26(日) 21:25:34
>>195 「リーマンのゼータ関数」の38ページにはゴシックで「初等的証明」と書いてあるが
395
king
205 :
KingOfUniverse ◆667la1PjK2 :2007/01/24(水) 07:37:20
初等関数の初等はかなり異質な感じがする。
とにかく、「簡単な」の意味で使われてるケースはほぼ無いと思われる。
925
109
152
210 :
132人目の素数さん:2007/05/30(水) 01:33:24
>>110,111
今更で申し訳ないが、私も初等的といったら当然first orderという意味だと思う。
elementary submodelのことはどう説明をつけるつもりだというのは、
全然面白くないので何かのジョークではないと思うのだけど、
submodelであってfirst orderの文が一致するものだから、わざわざesと呼ぶのだ。
esの定義を知らないでesという言葉を知っているなんて、
言葉のマニアックさと容易さからしてありえないのだが。
ジョークだったらすまん。
四年九時間。
586
213 :
ナンバーエイト@23区 ◇15lIZBDwz6 :2007/07/14(土) 18:05:33
vv
293