ﾚｽ書き込み
ｽﾚへ戻る
写
ﾚｽ栞
ﾚｽ消
純粋・応用数学・数学隣接分野（含むガロア理論）21
PC,ｽﾏﾎ,PHSは
ULA
べっかんこ
公式(ｽﾏﾎ)
公式(PC)
で書き込んでください｡
名前
ﾒｰﾙ
引用切替：
ﾚｽｱﾝｶｰのみ
>>146 > >>142 > >順序数全体の集まりはクラスの定義に合致するからクラスです。 > >しかし集合ではありません。 > > ふっふ、ほっほ > そっから、勘違いのオチコボレさんか？ｗｗ ；ｐ） > > 下記『「クラス」の正確な定義は、議論の基礎となる文脈に依存する』などを > 百回音読してねｗ > > (参考) > https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96) > クラス (集合論) > クラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。 > 「クラス」の正確な定義は、議論の基礎となる文脈に依存する。 > 例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 > （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 > 集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。 > この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。 > 19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念を指していた。 > この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。
ﾛｰｶﾙﾙｰﾙ
SETTING.TXT
他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡
書き込み設定
で書き込みｻｲﾄの設定ができます｡
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(ｽﾏﾎ)
・
公式(PC)[PC,ｽﾏﾎ,PHS可]
書き込み設定(板別)
で板別の名前とﾒｰﾙを設定できます｡
ﾒﾓ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s