いま, 無矛盾な理論T'を取ったとき次を満たすとします.
勝手な論理式Φについて, T' ⊢Φ または T' ⊢ ¬Φ が成り立つ.
この時T'は極大無矛盾理論となるでしょうか?
(極大無矛盾理論の定義は無矛盾な理論Tにたいして, T⊆T' なる無矛盾な理論T'が存在したらT = T'となるです.)
個人的にはT'は極大無矛盾理論にはならないと思っていて, T' ⊢Φ でΦ∉T' となる論理式Φがあれば,
T'' = T' ∪ {Φ}としたら, T' ⊆ T'' かつ T' ≠ T'' となってT' は極大にならないのではないのかと思っています. しかしそのような論理式Φが本当に存在するのかなどの証明ができずに困っております.
どなたか教えていただけないでしょうか?
No.1
- 回答日時:
それは、「極大無矛盾理論」の定義に書かれている T = T' の解釈が違うんですよ。
その T = T' は、 T と T' の定理が一致することを示しているであって、
T と T' が公理の集合として一致するという意味ではありません。
No.2ベストアンサー
- 回答日時:
T'は無矛盾でしかも完全なんですよね。
そして、「論理式」とおっしゃっているのは命題のことでしょう。だから、T' ⊢Φとは「この公理系でΦが証明できる」ということであり、Φ∈T'とは「Φは、【この公理系で証明できる命題全体がなす集合】の要素である」ということ。両者ではT'の解釈が違うんですが、結局どっちも同じことを言ってるんであり、だから「 T' ⊢Φ でΦ∉T' となる論理式Φ」はない。言い換えると、命題全部の集合をLとして、公理系T'で証明できる命題全体の集合(すなわちT'の定理全体。つまりT'の理論)を U' とすると、U'= {Φ | Φ∈L ∧ T'⊢Φ} となる。このU'を指してT'と(公理系と同じ名前で)呼んでいるんでこんぐらがってる、ということかな。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『確率Ⅹ/2』 6 2022/11/21 00:00
- 外国株 ウォール街のランダムウォーカーは間違いだ、バンガード分散投資理論は間違いだ。 ピーター.リンチ ご存 1 2023/04/08 13:51
- 物理学 相対性理論の嘘について 10 2022/07/29 08:28
- 歴史学 日本国憲法はどう考えても無効としか考えようがありませんよね? 帝国憲法から現行憲法への改正は限界を明 9 2022/12/25 01:49
- 哲学 私の理論 存在性理論の説明① 1 2022/07/17 15:12
- 哲学 本体論(ontology)と認識論(epistemology)の違いは? 1 2022/06/23 13:45
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 背理法について質問があります。 現実で使う場合はこのようになるかと思います。 ①容疑者Aが犯人である 4 2022/08/23 22:12
- 哲学 よく宗教は進化論を否定するといわれますが、どういった理由から、宗教のどのあたりが進化論と矛盾するんで 6 2023/04/02 08:29
- 物理学 大学科学_リュードベリの式 1 2022/04/24 20:37
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の論理学的な質問なんです...
-
数学の背理法について質問です...
-
命題「PならばQ」でPが偽ならば...
-
a,bが有理数のとき、a+b√2=0 な...
-
「逆もまた真なり」について
-
証明問題です
-
整数の問で質問です。 なぜ、赤...
-
a>0、b>0⇔a+b>0、ab>0
-
代数的整数論(J.ノイキルヒ)の...
-
背理法について
-
背理法での証明について 疑問に...
-
強い仮定、弱い仮定、とは
-
数学 x,yは実数とする。「xy+1=...
-
命題を証明せよとはどういう意...
-
命題の証明で・・・
-
青チャートIA のp89基本例題53...
-
有理数÷無理数=??
-
n=3の倍数ならば、n=6の倍数で...
-
有理数+無理数=無理数 の証明
-
命題の証明の解き方を教えてく...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「逆もまた真なり」について
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
「逆は必ずしも真ならず」の証...
-
数学的帰納法の根本的な疑問な...
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
有理数を文字置き→互いに素な整...
-
写真の命題を数学的帰納法で証...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
pならばqである の否定について
-
数学の論理学的な質問なんです...
-
【命題が偽である場合の反例の...
-
背理法について質問があります...
-
自然数の証明・・・?
-
青チャートに、「命題p⇒qの否定...
-
数学 12k(2k^2+1)を36の倍数と...
おすすめ情報