訂正です！

Article View: fj.sci.physics

Article #1479

#1479

From: cafea605
Date: Sat, 14 Oct 2006 04:51

20 lines
2166 bytes

"cafea605" <cafea605@hcn.zaq.ne.jp> wrote in me
＞「最大数ωだけが最小要素でないⅠ類集合」であって、しかも「ωは自分自身よりも大きな自然数の集合」として別扱いにしたら～、

この両者は矛盾しますから、

１）｛ω｝＝｛ω＋１，ω＋２，ω＋２，・・・，ω^2・・・，ω^ω・・・，ω^ω＾ω，・・・｝としてω≠｛ω｝から｛ω｝はⅡ類集合です。
２）０，１，ωに関しては、集合でないことから（私の作る数学において）集合の要素にはなれない！
３）｛０｝，｛１｝，も、また、同様の理由でⅡ類集合です。

さらに、

数学基礎に関して
「数学で使う記号のすべてを内包する集合による基礎は不可能」であることは既に知られているとした場合に、
外付けに【集合論】を使って証明していく手段が新たに見出されると思います。

公理主義について
必ずしも公理といわなくていい体系、例えば、今、私がやっているような体系は
「公理を他から説明して創作していく数学体系」ですから他の名称、
例えば【規則】などがふさわしいように思っています！

Technical Details

Message-ID: <z1_Xg.9$0d.8@news-virt.s-kddi1.home.ne.jp>

Path:

arc1-ca.pugleaf.net!g2news2.google.com!news4.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!newsfeed.media.kyoto-u.ac.jp!newsfeed.s-kddi1.home.ne.jp!news.home.ne.jp!news-virt.s-kddi1.home.ne.jp.POSTED!53ab2750!not-for-mail

References: <MGYXg.8$0d.3@news-virt.s-kddi1.home.ne.jp>

Show Full Headers

Complete Article Headers

X-Google-Thread: 114713,34a6d54d94c5611c
X-Google-Attributes: gid114713,public
X-Google-Language: Japanese,JIS
Path: arc1-ca.pugleaf.net!g2news2.google.com!news4.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!newsfeed.media.kyoto-u.ac.jp!newsfeed.s-kddi1.home.ne.jp!news.home.ne.jp!news-virt.s-kddi1.home.ne.jp.POSTED!53ab2750!not-for-mail
From: "cafea605" <cafea605@hcn.zaq.ne.jp>
Newsgroups: fj.sci.physics
References: <MGYXg.8$0d.3@news-virt.s-kddi1.home.ne.jp>
Subject: 訂正です！
Lines: 23
MIME-Version: 1.0
Content-Type: text/plain;
 format=flowed;
 charset="iso-2022-jp";
 reply-type=response
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.2869
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962
Message-ID: <z1_Xg.9$0d.8@news-virt.s-kddi1.home.ne.jp>
Date: Sat, 14 Oct 2006 04:51:43 GMT
NNTP-Posting-Host: 61.46.226.178
X-Complaints-To: abuse@home.ne.jp
X-Trace: news-virt.s-kddi1.home.ne.jp 1160801503 61.46.226.178 (Sat, 14 Oct 2006 13:51:43 JST)
NNTP-Posting-Date: Sat, 14 Oct 2006 13:51:43 JST
Organization: @NetHome

Reply to Parent Message