「集合・位相入門」輪読会★2

298：たま ◆U4RT2HgTis：2006/03/04(土) 00:53:36: 臺地氏乙です。

>>270
この選択公理から排中律をしょうめするってやつ、
論理展開は理解できるんですが、排中律が成り立つか成り立たないか分からない命題Pに対して
Ａ＝{ｘ|(ｘ＝０∧Ｐ)∨ｘ＝１}
っていう集合を定義するのはありなんですか？
というか、このAは集合と呼べるんですか？
なんか中身がはっきりしてないかもしれないものを集合だと呼ぶことに違和感があるんですけど。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板