Re: ZFC公理系のみからの自然数の定義について
ご回答誠に有難うございます。
>> 集合の定義はシンプルな,公理的集合論「レモン著」p4の
>> 『集合とはそれ自身がクラスのメンバーとなっているようなクラスのことである』
>>
>> を使わせて戴きました。
> その文では意味が通じませんね.
> 貴方が前後関係を無視した引用をしているか,
> そもそも訳文がまずいかのどちらかでしょう.
http://www.geocities.jp/a_k_i_k_o928346/Lemmon__00.jpg
から引用させていただきました。
>> ところでクラスの世界ではクラス全体のクラスや{x;xはクラス,x\not\in x}は
>> カントールやラッセルのパラドクスをどのように回避してあるのでしょうか?
> そのようなものが意味のある数学的対象となることはない,
> と考えるわけです.
了解です。
>> 因みに公理的集合論「レモン著」p29にて全クラスを定義してありますが
>> これは公理的集合論「田中尚夫著」p52の宇宙の事だと思います,
> それは貴方がそう思っているだけではありませんか.
> もう少し文脈を取らないと何とも判定できません.
http://www.geocities.jp/a_k_i_k_o928346/Lemmom_p29.jpg
http://www.geocities.jp/a_k_i_k_o928346/Lemmon_p30.jpg
http://www.geocities.jp/a_k_i_k_o928346/ast_by_tanaka_p52.jpg
となっております。
>> そして公理的集合論「田中尚夫著」p52定理2.8.9にて宇宙(全クラス)は
>> 真クラスだと述べてありますが,
>> 公理的集合論「レモン著」p30冒頭で全クラス(宇宙)は真クラスか否かは不明だ
>> と述べてあります。
> そうでしょうか. どうも違うことが書いてあるのではないかと思いますが.
そっそうですか。
>> 従って,公理的集合論「レモン著」(1969年)の出版後に
>> 全クラス(宇宙)が真クラスである事が証明されて
>> 公理的集合論「田中尚夫著」p52定理2.8.9が掲載されたという理解で
>> 大丈夫でしょうか?
> そんなことはないでしょう.
これもそうでしょうね。。(汗)
>> もしそうなら公理的集合論「レモン著」p30の
>> 『少なくともU∈Uの時,かつその時に限り,Uは集合であるといえる』
> これも意味が通じませんね.
> 貴方が前後関係を無視した引用をしているか,
> そもそも訳文がまずいかのどちらかでしょう.
これも
http://www.geocities.jp/a_k_i_k_o928346/Lemmom_p29.jpg
http://www.geocities.jp/a_k_i_k_o928346/Lemmon_p30.jpg
からでございます。
>> という集合の定義は意味をなさないのですね
>> (∵現在ではUは真クラスという事が判明しているので
>> 真クラスの定義から"U∈U"というケースはもはや有り得ない)
> 少なくとも貴方の述べていることは意味を為しません.
了解です。
>> 更に,公理的集合論「田中尚夫著」p52では真クラスの定義として
>> 『集合でないクラスを真クラスという』が載ってますが
> これは普通の定義ですね.
これは分かりました。
>> 定理2.8.7ではVは全ての集合の集まりなので,
>> 『Vは全ての集合たちからなる真クラスである』と表記してあるので
>> ここでの"クラス"は"真"という接頭語が省略されてるのかと思いきや,
>> 定理2.8.8や定理2.8.9では接頭語無しの"クラス"になったり
:
> 3つの概念は存在します.
> 「混在」とはどういうことでしょうか.
> そこに貴方の錯覚があるのでしょう.
ここら辺は大幅に勘違いしておりました。
クラスといったら,集合も指すし真クラスも指すのですね。
数学的対象を議論する時に先ず`全ての数学的対象物の集まり`(これは領域(?))というものがあって(ここでの'集まり'とは日常会話で使う'集まり'と同じ意味と考えて構わない),それから集合と真クラスの二つに分類されるのかと思ってましたが,そうすると真クラスは領域という集まりに含まれますからもはや"真"ではなくなってしまいますので(∵真クラスの定義),領域というものも考えず,議論の一番一番起点となるものは集合と真クラスという2種類の数学的対象物から出発するのですね。
そして晴れて集合にはZF公理系というものが定義されうる。。
通常の数学の世界では
数学的対象物は集合と真クラスの2種類のみでそれより上位の概念は考えない事にするのですよね? そうしないときりが無いから(勿論,論理学ではこれとは別な公理系を打ち立
てて,議論を始める特殊な数学の世界も研究されているでしょう)。
そうしますと,
"数学的対象物は集合と真クラスの2種類のみでそれより上位の概念は考えない事にする"
という公理があるのでしょうか?
あるとしたらこの公理の名称は何というものでしょうか?
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735