| From(投稿者): | "F.K." <kuwa_fs@yahoo.co.jp> |
|---|---|
| Newsgroups(投稿グループ): | fj.sci.math |
| Subject(見出し): | Re: Zermelo の選択公理 |
| Date(投稿日時): | Wed, 20 Apr 2005 01:17:33 +0900 |
| Organization(所属): | Public NNTP Service, Kyoto University, JAPAN |
| References(祖先記事, 一番最後が直親): | (G) <newscache$a8g3fi$wt5$1@news01f.so-net.ne.jp> |
| (G) <d3tsa8$1quf$1@fw.hamaint.co.jp> | |
| Message-ID(記事識別符号): | (G) <d43auu$p3q$1@caraway.media.kyoto-u.ac.jp> |
半分茶々です． Eiji KATSURA wrote: > 構成的に求めることができるなら、Zermeloの選択公理を使わなくても > 証明できる、というのはほとんどトートロジーに近いと思う。 その通りですが，それならば，桂氏の >『「Zermeloの選択公理(と同値な公理)を > 使わずには証明できない存在定理によって存在が示される > もの」を構成的に求めることはできない』 という読解も，ほとんどトートロジーに近い無意味な読みではないかと思います． -- F.K.