- 28 名前：１３２人目の素数さん mailto:sage [2012/10/04(木) 09:17:52.18 ]
- 厄（・）:V→Vは無定義術語で、
条件（厄）：「厄(a)と厄(b)が同じ ⇔ a△b := (a-b) ∪ (b-a) が有限」
を満たすクラス関数とします。
つまり（厄）を満たすもの、というのが定義です。
等濃な集合の同値類を取るのと同じ操作をした訳です。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その14
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef