対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
56: 01/11(土)08:54:47.90 ID:WOeyxgDw(1) AAS
やはり、クラスは型と考えるのがすっきりする。
クラスの集まりはクラスの集合である。
クラスを集まりとした場合、同じクラスに属する元の集合である。
異なるクラスの元は集合にならない。
ただし、クラスの継承や複合も考える。
共変・反変・不変（非変）・双変や変性も考えたい。
集合ではなく型システム付きの集合で実数を考えなおす。
59: 01/12(日)10:57:18.90 ID:BGKU0JbP(1) AAS
>パラドックスをかかえている可能性がある。（数学屋ではないのであしからず）
数学と相いれない厳しい論理に慣れた立場では？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.016s