ミレニアム懸賞問題 (507ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
344(1): ◆Ph05QxAcng 2024/05/03(金) 18:02:45.50 ID:FFwiPlOw(3/7)調 AAS
>>343
定理1 存在と無矛盾性は同値である
証明
存在とは文字で置換出来る事を指す、と定義する。当然意味領域の概念も含まれる。
Aが存在しないとは¬(Aが存在する)であり、存在するの意味領域から外れているので、文字で置換出来ない事になる。
無論Aが存在する∧ ¬(Aが存在する)=φである。
このように存在しないを定義しても良い。
Aが無矛盾である
という文章を考える。
無矛盾である、事の意味が必要だが、そもそもこれには存在概念が必要である。
よって無矛盾性→存在が言える
Aが無矛盾である
の定義は
Aが無矛盾である∧¬(Aが無矛盾である)=φ
が成り立つ事と定義するが、これは定理0より自明である。
Aが存在する、は無矛盾である事も自明である。
よって存在と無矛盾性は同値である。
すなわち存在より前提はない、φである。存在より前提の意味領域はない。
345(4): ◆Ph05QxAcng 2024/05/03(金) 18:03:17.89 ID:FFwiPlOw(4/7)調 AAS
>>344
定理2 存在とは輪郭の事である
証明
まず2つの補題を示す。
補題2.1 a及びその冪集合{a}を考える。この時、この二つは別のものである。
証明
仮に同じものだとする。
そうするとa,bがあると、その集合{a,b}が同じものとなる。後者はa,bを一つのものとしてみたものであり、明らかに異なる。よって最初の前提が背理である。すなわち補題が示された。
補題2.2 空間の要素である集合の元は空間の要素である
証明
集合をEと置き、その元eが空間の要素でないと仮定する。E∩e=eであり、eがEの一部であるのにも関わらず空間の要素でない部位がある事になり背理である。よって補題は示された。
対偶を取ると次の系が得られる。
系2.2.1 空間の要素でない元からなる集合は空間の要素ではない
次にAが存在する事とAが空間に要素を持つ事が同値であることを示す。
仮に、存在するが空間に要素がない存在物Aがあったとする。
A及びその冪集合{A}を考える。
ここで仮に{A}も空間に要素がないと仮定する。
そしてBを空間に要素がない存在物の集合と定義する。今{B}を考えると、仮に{B}が空間に要素がないとすると、B⊇{B}となり、かつ{B}⊇BでBと{B}は一致する。しかし、これは補題2.1より矛盾である。
よって{B}は空間の要素である。よって補題2.2よりA,{A}共に空間の要素である事が導かれるがこれは前提と矛盾する。
よって{A}は空間の要素である。
また補題2.2よりAも空間の要素である事か導かれる。
よってAが存在するならば、Aは空間に要素を持つ事が示された。
また空間に要素を持つならば存在する事は自明なので、存在する事と空間に要素を持つ事は同値である事が示された。また空間に要素を持つ事と輪郭を持つ事は同値なので、存在する事と輪郭が定まる事は同値である。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.198s*