- 33 名前：１３２人目の素数さん mailto:sage [2009/06/13(土) 04:18:55 ]
- ＞集合Aを定義する時にA自身を用いる事は実数の部分集合では普通にある。
それは、本来は論理的にダメなんだけど
well-foundedな順序に関して帰納的な定義をする限りにおいては
それでwell-definedになるという定理があるからそういう定義ができるのであって、
今の話とは関係ないような
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド その5
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef