数学基礎論・数理論理学　その11

数学基礎論・数理論理学　その11at MATH

数学基礎論・数理論理学　その11 - 暇つぶし2ch290:１３２人目の素数さん
12/01/14 20:12:09.02
>>275
公理的集合論では与えられた集合が推移的じゃないと
困る場面が山のようにある

順序数は普通、∈で整列順序付けされる推移的集合として定義される
与えられた集合と同型な推移的集合を作るテクニックとかもある

次ページ

続きを表示

1を表示