純粋・応用数学・数学隣接分野（含むガロア理論）21

純粋・応用数学・数学隣接分野（含むガロア理論）21 (183ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

53(1): 07/23(水)06:38 ID:gP8zJ0yp(1/2) AAS
>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|￢x∈x}を構成可能。
>そのため公理的集合論では分出公理に置き換える。

これは豆知識としてよい

58(1): 07/23(水)22:19 ID:gP8zJ0yp(2/2) AAS
勉強なのだろう