「体系内でその体系のモデルを構成する」という文言をよく目にするのですが、これの意味するところが分かりません。これはどういった行為をいっているのでしょうか。もしくは自身のモデルの存在を証明できる、構成できる体系というのはどういったものなのでしょうか。
例えばZFCで存在が証明できる対象に、述語を加えてつくった〈M、∈〉が性質として(つくった実装側で)、ZFCの公理を満たす
ということなのでしょうか
事実、ZFC内でZFCのモデルの存在証明ができないことは承知していますが、「体系内(ZFCに限らず)でモデルを構成できる」とはどういう状況を意味するのかを教えて頂きたいがために以上のような書き方をしました。
お時間あれば、ご教授よろしくお願いします。
No.1ベストアンサー
- 回答日時:
まず、
1.体系内で体系自身のモデルを構築する
ことと、
2.さらに、構築したモデルの完全性を証明する。(存在ではなくて、完全性ですかね)
ことは、別の話です。
実際、ゲーデルの有名な仕事は、ZFC(等)で、1を行う方法を編み出したことと、2が不可能であることを明らかにしたこと、の2つを行っています。
で、具体的にどうやって1を行うか、いろいろなところに解説があると思います。
単純に言えば、自然数の素因数分解の一意性を利用して、ZFCでの任意の命題 に、1対1で対応するような自然数を定める、ということです。すると、その命題に関して何か考えることは、対応する自然数に関すして考えることと同じになります。
さらに言えば、自然数について何か考えるということのは、つまり、ZFCでの命題そのものですから、この命題(もとの命題についての考え方を考える、メタ命題です)に対応する自然数も一意に定めることができます。
この回答への補足
「体系内で体系自身を」というのは自然数のような対象と体系には関係があるからこそと思うのですが、これはどういった関係なのでしょうか。
体系内で扱っているもの(たとえば自然数や集合)の相互関係と体系の論理式の性質を対応つけられるということとは思うのですが、しかし「ZFCが対象として集合を扱い」、「ペアノ算術が自然数を扱う」というのは構文規則から生成される文字列を集合をあらわしているがごとく、自然数をあわらしているがごとく解釈可能ということであって、目の前には文字列以上のものはないわけですよね。
とすると結局同じ体系を扱うこと自体は変わらないのでしょうか、つまり目的は(たとえば)体系の証明可能性を調べることになるが、
行うことはそのもとの体系を扱って(論理式と対応させた)自然数などの性質をみることであり、そのことが体系自身を調べることになると考えていいのでしょうか。
この辺の事情の解説をお願いできれば、お時間あれば、よろしくお願いします。
遅くなってしまいすいません。回答ありがとうございます。
1、が私が質問していたことと感じますが、とても参考になりました。ある体系内の論理式を扱う際に、直接ではなく(たとえば)自然数などの対象を扱うことに対応させることを「モデルを構成する」といい、そのことによってその体系の性質を調べるわけですね。
ただ自然数のような対象と体系の関係について追加で伺ってよろしいでしょうか。もしお時間ありましたらお願いします。
今回は有意義な意見、本当にありがとうございました、助かりました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 物理 慣性系の存在 5 2022/09/01 11:19
- 物理学 慣性系の存在 4 2022/09/01 16:14
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- その他(パソコン・スマホ・電化製品) 人間の長期記憶に関するモデルについて。 下記の内容をもとに、一番下の質問の具体例が思いつく方いたら具 1 2023/06/30 18:21
- 哲学 これだけ書いて殆ど変わらないのに 私に何をしろというのだろうか? 21 2022/05/16 17:26
- モデル ネットでビジネスやら性格やら検索すると 必ずとまでは、言いませんが。 モデルになる人物がスーツ姿や作 1 2022/11/13 06:02
- 数学 これが人類最初のABC予想の応用ですか? 3 2022/04/27 05:41
- 政治 ABC予想で自衛隊を合憲にする事ができますよね? 3 2022/04/23 05:46
- 物理学 英語表現についてどうもわからないので教えて貰えないでしょうか? 具体的には以下の文の中でreflec 1 2023/04/29 20:59
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
1/m+1/n=1/p
-
命題を証明せよとはどういう意...
-
背理法と対偶証明の違いについて
-
数学の背理法について質問です...
-
数学の命題の問題です。 ① {1,...
-
a,bが有理数のとき、a+b√2=0 な...
-
証明問題です
-
証明で存在性、一意性の証明す...
-
命題論理に関する英単語
-
有理数を文字置き→互いに素な整...
-
a>0、b>0⇔a+b>0、ab>0
-
a,bが有理数として√6が無理数を...
-
背理法のテストへの出方
-
nは自然数 n^2と2n+1は互いに素...
-
xy=0ならばx=0またはy=0 の対偶...
-
矛盾律の意味がわかりません! ...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
背理法について
-
体系内で体系自身のモデルの存...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の背理法について質問です...
-
a>0、b>0⇔a+b>0、ab>0
-
以前も質問させていただいたの...
-
命題「PならばQ」でPが偽ならば...
-
命題を証明せよとはどういう意...
-
n=3の倍数ならば、n=6の倍数で...
-
数学の反例について。 P⇒Qの反...
-
背理法について
-
「逆もまた真なり」について
-
x≠1⇒xの二乗≠1の真偽
-
数学の論理学的な質問なんです...
-
カントールの対角線論法につい...
-
対偶法による無理数の証明につ...
-
a,bが有理数として√6が無理数を...
-
nは自然数 n^2と2n+1は互いに素...
-
数学 x,yは実数とする。「xy+1=...
-
数学。「次の命題の真偽を調べ...
-
強い仮定、弱い仮定、とは
-
逆、裏、否定、対偶
-
数学の証明の問題です。
おすすめ情報