A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
あと、内包性の公理図式があります。
(空集合の公理は、”少なくとも一つの集合が存在する”ことを前提とすれば、内包性の公理図式に、論理式"A≠A"を当てはめて、導けます。,)
公理図式と公理の違いは何なのでしょうか?
(難しいことは、他の人が書いてくれているので、簡単に説明します。)
公理は、その論理式の中に、「任意の論理式」を表す記号が“含まれていない”もの。
公理図式は、その論理式の中に、「任意の論理式」を表す記号が“含まれている”もの。
つまり、公理図式は、実際に、その記号に、何かの論理式を当てはめたとき、公理になるものです。
そこに当てはめられる論理式が無限にあるので、無限個の公理があるとなります。
(ちなみに、ZF, ZFCは、有限公理化不可能と証明されているらしいです。)
ZFCでの公理図式は、内包性の公理図式と置換公理図式だけです。
No.2
- 回答日時:
ANo.1のコメントを拝見しました。
えとですね、一般に、記号の並べ方の規則だけを記述する(もちろん「これはこんな風な意味だ」などとたとえ話で説明することを排除する)ことによって、自己無撞着なやりかたでその記号の使い方を定めるのが形式的公理系です。
ZFC公理系は集合という概念に関する公理系ですが、「集合」という言葉は出てきません。出てくるのは"∈"だけ。そして"∈"は無定義の記号であり、ZFC公理系を書き並べる直前の段階では、記号"∈"は使い方が(従って意味も)定まっていません。ZFC公理系はただこの記号の並べ方(使い方)の規則を規定していて、これによって記号の意味が立ち現れる仕掛けなのです。
なお、ZFC公理系を書き並べる前に、まず1階述語論理という体系が公理系によって定まっていなくてはなりません。
> 公理図式とはつまり,公理を説明する為の"例え"なのでしょうか?
違います。1階述語論理の1変数述語がどういうものであるかは、既に1階述語論理の公理系において形式的に(すなわち記号の並べ方の規則として)定義されているので、図式に任意の述語をあてはめる、ということには何の曖昧さもありません。ただ、ZFC公理系で定まる体系の中には論理式や述語を指す手段はない(ZFCは集合の公理系ですから)ので、「任意の1変数述語」を意味する記号表現ができないだけです。
> なるほど,公理は集合等を定義する以前の話ですので,集合での記号は使えないのですね。
誤りです。「∀」は1階述語論理の記号として既に使い方が決まっています。しかし「∀A(....) (ただしAは論理式や述語)」は(2階述語論理の式であって)1階述語論理の式でも集合に関する式でもないので、ZFCの体系ではナンセンスな表現です。
No.1
- 回答日時:
置換公理(あるいは、その代わりに使われる分出公理)は、「任意の論理式Aについて…」という格好をしています。
しかし論理式は対象(集合)ではないんで、∀A(....)
とは書けません。(こう書いてしまうと、2階述語論理の式になってしまう。)
だからこれは公理そのものではなくて、論理式Aを具体的にひとつ決めるごとに公理ができると考えねばなりません。なので無限個の公理があることになります。こういう「公理の形だけを表していて、中身を入れると公理になるもの」を「図式」と呼ぶんです。
有難うございます。
> 置換公理(あるいは、その代わりに使われる分出公理)は、
> 「任意の論理式Aについて…」という格好をしています。
公理図式とはつまり,公理を説明する為の"例え"なのでしょうか?
> しかし論理式は対象(集合)ではないんで、∀A(....)
> とは書けません。
なるほど,公理は集合等を定義する以前の話ですので,集合での記号は使えないのですね。
という事は公理を厳密に書き記すのは不可能ですね。
公理図式で雰囲気を表現する事しかできないのですね。
> (こう書いてしまうと、2階述語論理の式になってしまう。)
> だからこれは公理そのものではなくて、論理式Aを具体的にひとつ決めるごとに
> 公理ができると考えねばなりません。なので無限個の公理があることになります。
> こういう「公理の形だけを表していて、中身を入れると公理になるもの」を「図式」と呼ぶんです。
つまり,「ZFCは一番少ない公理の種類数(9個)の公理系である」と表現すればいいのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 宇宙の公理 4 2023/03/16 14:58
- 大学受験 大学受験 1 2022/06/22 04:43
- 大学受験 条件に当てはまる国公立大学教えてください。 0 2023/04/18 04:00
- 大学受験 理系大学生が単位取りつつ国公立医学部医学科に合格するってかなり無謀な話ですか? 一般論的に。 5 2022/07/28 14:43
- 法学 *注意:正しい選択肢を選ぶ問題です。 表現の自由と名誉毀損罪に関する次の説明のうち,最も適当なものを 1 2022/11/27 08:54
- 大学受験 参考書の勉強法について質問なのですが、参考書を一通り終わらせて、二周目を行う際、問題だけ解けば良いで 2 2023/06/30 20:19
- 大学受験 京都橘の公募推薦についてです。 併願で受けるのですがよく分かりません…。 まず日時についてなのですが 1 2022/11/14 16:13
- 数学 微分積分を理解できない人って脳の作りの問題でしょうか。情報系の大学に進み、微分積分が必須科目なんです 5 2022/07/14 08:40
- 数学 集合と論理について 2 2023/01/08 05:52
- 政治 日本が現在のような滅茶苦茶になった流れは、 2 2023/03/18 00:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
部分が全体に等しいのが無限で...
-
数学で、数字の上にある横線の意味
-
数字の上のバー
-
数字は存在するのか
-
集積点が、まったく分かりませ...
-
数学でのセミコロンについて
-
アレフ2以上の集合?
-
R\\{0} って、0を除く実数って...
-
有理数÷有理数は絶対有理数なん...
-
このマーク?はどういう意味の...
-
Rの半開区間(0,1]と開区間(0,1)...
-
要素と、部分集合の違いを教え...
-
高校1年の数学Aです。 この、ピ...
-
順列組合せについて
-
ACCESSのSQL
-
はじめて位相空間を勉強するの...
-
A∩BとAかつBは意味が違うのでし...
-
数学の集合で閉じているの意味...
-
急用で出れなかった授業のレポ...
おすすめ情報