対角線論法っておかしくね? (144レス)
上下前次1-新
抽出解除 レス栞
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
83: 01/29(水)00:02:35.95 ID:hv/ronlR(1) AAS
集合の色としてクラスを与えると、選択公理は集合の集合における元としての集合の元の寄せ集めを扱う。
少なくとも、基本となる同じ色を持っているという公理だ。
ある種の型を持つクラスシステムは、選択公理必須かもしれない。
整列可能でなければクラスシステムはつくれないし、
整列から整列への変換が計算だし、
もしかして、クラスシステムと選択公理は等価(等価は数学用語ではない)か?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.014s