この単純なクラス理論はZFCと同等に解釈できますか?

1
Zuhair 2019-06-05 23:54.

ここでの問題は、かなり単純に提示された理論の一貫性と、それがZFCと同等であるかどうかについてです。

この理論はクラスの一次理論であるため、そのプリミティブは平等とメンバーシップであり、「.. is aset」を表す「set」である新しいプリミティブの1つの場所の述語が追加されています。現在、公理はZFCとまったく同じように書かれた拡張性の公理です。それが集合のクラスである場合に限り、すべてのクラスが集合であるという公理。数式が述語「セット」を使用せずにセットを厳密に保持する場合は常に、セットを定義することを示す理解公理スキーマ。最後の公理は、すべての自然数が集合であるという無限大の公理です。ここで、自然数は、通常の方法で有限のフォンノイマン序数として定義されます。

正式な博覧会

集合論(平等とメンバーシップを持つ一階述語論理)の言語に、原始的な1つの場所の述語記号を追加します $``set"$「セットである」を示します。

公理:

拡張性: $\forall x \forall y [\forall z (z \in x \leftrightarrow z \in y) \to x=y]$

設定: $\forall x [set(x) \leftrightarrow \forall y \in x (set(y))]$

理解度:もし$\phi$ 集合論の言語の公式です(つまり、記号を使用しません $``set"$)、そのシンボル $``x"$ 無料ではない場合、次のすべての閉鎖:$$ \forall y (\phi \to set(y)) \to \exists x \forall y \ (y \in x \leftrightarrow \phi)$$; 公理です。

インフィニティ: $\forall n \ [natural(n) \to set(n)]$

どこ $natural$有限のフォンノイマン序数として定義されます。たとえば、「十分に確立された推移的なセットの推移的なセットであり、後継者であり、それらの空でない要素はすべて後継者です」のように定義されます。

質問:

  1. この理論は一貫していますか?

  2. 一貫性がある場合、ZFCで解釈できますか?

  3. 2の場合、ZFCを解釈しますか?

この理論[一貫性がある場合]は、ツェルメロ集合論の一貫性を解釈し、証明します。 $V_{\omega+\omega}$。ZFCとも同等に解釈できると思いますか?!ただし、この理論には一貫性がない可能性があります。この理論は非集合クラスの存在を証明しますが、それらについての理解公理を規定していません。Sethood公理はAckermannの集合論の2つの完全性公理よりも強力であり、理解はAckermannの場合のように集合パラメーターに制限されないため、これは集合論的パラドックスを回避するためにここで意図的に行われます。したがって、この理論は危険です。それが一貫しているかどうかを確認するといいでしょう!また、アッカーマンとZFCと比較した正確な強度を確認するのもよいでしょう。

1 answers

2
Andreas Lietz 2020-03-19 06:54.

この理論は一貫しており、さらにその一貫性の強さはZFCのそれを下回っています。

その理論のモデルが必要な場合は、外部からの根拠がないことに注意してください。これを見るには、$x_0$ それは満足しません $set$-述語(これは存在する必要があります)。次に、要素を含める必要があります$x_0\in x_1$ それは満足しません $set$-述語も同様に、チェーンを不定に続けることができます。これは、そのようなモデルを見つける方法のヒントを与えてくれます。

どれでも取りましょう $\omega$-十分に根拠のある、しかし根拠のないモデル $(M, E)$ツェルメロ集合論に加えて、「フォンノイマン型ヒエラルキーは(集合として)存在し、宇宙全体を使い果たします」という文を加えたものです。ZFCがそのようなモデルの存在を証明していることを確認してください。しましょう$\operatorname{wfc}(M)$ の十分な根拠のある部分を示します $M$、つまりすべてのセット $M$ 無限の下降の一部ではありません $\in$-チェーン(外側から)。私たちは$(M, E)$ある固体という意味で$\operatorname{wfc}(M)$ 推移的であり、 $E$-関係は真実と一致します $\in$-関係 $\operatorname{wfc}(M)$。私はその構造が$\mathcal M=(M; E, set)$ 私たちが解釈するときにあなたの理論を満たします $set$ なので $\operatorname{wfc}(M)$

外延性の公理は明らかに当てはまります。

Sethoodの公理は他の要素と同じように真実です $x_0$ の根拠のない部分の $M$ の根拠のない部分に要素があります $M$、たとえば $x_1$ 無限の降順チェーンの $x_0\ Ǝ\ x_1\ Ǝ\dots$

私たちが選んだように、無限公理は当てはまります $M$ することが $\omega$-十分な根拠、すなわち $\omega^M\subseteq\operatorname{wfc}(M)$

最後に、あなたの理解スキームも同様に成り立つことを見てみましょう。仮定します$\varphi(y)$ あります $\in$-プロパティを持つ式 $$\mathcal M\models\forall y\ \varphi(y)\rightarrow set(y)$$ 序数があると主張します $\alpha\in\operatorname{wfc}(M)$ そのような $y\in M$ 満足 $\varphi$ 持っている $M$-ランク $<\alpha$。そうではないと思います。しましょう$\delta=\operatorname{Ord}\cap\operatorname{wfc}(M)$。つまり、$\{\operatorname{rank}(y)\mid \varphi(y)\}^M$ に含まれ、無制限です $\delta$。したがって、$\delta$ で定義可能です $M$このクラスの組合として。しかし、これは不可能です:要素があるでしょう$x$$M$ その要素はまさに $\delta$。次に$x$$M$-序数、さらにそれはの十分な根拠のある部分にあります $M$、したがって $x\in\operatorname{Ord}\cap\operatorname{wfc}(M)=\delta$ など $x E x$、矛盾。これは、オーバーフローの原則の1つの兆候です。したがって、そのような$\alpha$。しかしその後$$\{y\mid\varphi(y)\}^M=\{y\in V_\alpha\mid \varphi(y)\}^M$$ 後者のクラスは $M$ 分離によって(ここでは、 $V_\alpha$セットです)。パラメータが満たすためにパラメータが必要である限り、パラメータを使用した理解スキームのバージョンでさえ、ここでは真であることに注意してください。$set$-述語(編集:実際には、この制限は必要ありません)。

Related questions

MORE COOL STUFF

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは、夫に会ったとき、典型的な交際のアドバイスに逆らいました。

マイケルシーンが非営利の俳優である理由

マイケルシーンが非営利の俳優である理由

マイケルシーンは非営利の俳優ですが、それは正確にはどういう意味ですか?

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

特徴的なスターのコリン・エッグレスフィールドは、RomaDrama Liveでのスリル満点のファンとの出会いについて料理しました!加えて、大会での彼のINSPIREプログラム。

「たどりつけば」をオンラインでストリーミングできない理由

「たどりつけば」をオンラインでストリーミングできない理由

ノーザンエクスポージャーが90年代の最も人気のある番組の1つになった理由を確認するには、Blu-rayまたはDVDプレーヤーをほこりで払う必要があります。

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖は、世界で2番目に大きいボイリング湖です。そこにたどり着くまでのトレッキングは大変で長いですが、努力する価値は十分にあります。

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

サロンからのヘアトリミングや個人的な寄付は、油流出を吸収して環境を保護するのに役立つマットとして再利用できます。

ホワイトハウスの最も記憶に残る結婚式を見てください

ホワイトハウスの最も記憶に残る結婚式を見てください

過去200年以上の間にホワイトハウスで結婚したのはほんの数人です。彼らは誰でしたか、そしてそこで結婚式を獲得するために何が必要ですか?

グッドジョブ、ESPN

グッドジョブ、ESPN

今日のホワイトハウスの記者会見で、報道官のサラ・ハッカビー・サンダースは、スポーツセンターのホストであるイェメル・ヒルのドナルド・トランプに関する最近のツイートについてコメントするよう求められ、大統領と彼の政策を白人至上主義者として説明した。ヒルは彼女のつぶやきのためにESPNによって公に叱責されました。

アマゾンからのこのレミントンツールセールで髪を整える、スタイルを整える、乾かす、または取り除く

アマゾンからのこのレミントンツールセールで髪を整える、スタイルを整える、乾かす、または取り除く

基本的に頭のあらゆる部分から髪の毛を整えたり、ブロードライしたり、まっすぐにしたり、脱毛したりする必要がある場合は、このレミントンゴールドボックスが最適です。今日だけ、Amazonは、すでに人気のあるShortcut Pro Self-HaircutKitやPearlPro Ceramic Flat Ironのように、グルーミングをはるかに簡単にするヘアツールをマークダウンしています。

カナダの元桂冠詩人が、史上最高の文化の盗用でトゥパックとマヤアンジェロウから盗んだ

カナダの元桂冠詩人が、史上最高の文化の盗用でトゥパックとマヤアンジェロウから盗んだ

トゥパックシャクール(ティムモーゼンフェルダー/ゲッティイメージズ); マヤアンジェロウ(マーティンゴッドウィン/ゲッティイメージズ)移動、テイラースウィフト。ケンドールとカイリーは、必要な数の座席を持っています。

テスラは、ハリケーンイルマによる避難を容易にするために、フロリダでの車両の範囲を拡大しています

テスラは、ハリケーンイルマによる避難を容易にするために、フロリダでの車両の範囲を拡大しています

写真:Tesla Motorsフロリダに住んでいて、Tesla Model S、Model X 60、またはModel 60Dを使用している場合、車の自律性は50 km(約30マイル)高くなります。これは失敗ではなく、ハリケーンイルマによる避難作業を容易にするために会社自身が命じた自治権の一時的な延長です。

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya shared a sweet photo in honor of boyfriend Tom Holland's 26th birthday Wednesday

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

シーレン「Ms.JuicyBaby」ピアソンは、先月脳卒中で入院した後、「もう一度たくさんのことをする方法を学ばなければならない」ため、言語療法を受けていることを明らかにしました。

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

オスカー受賞者の世紀半ばの家には、3つのベッドルーム、2つのバス、オーシャンフロントの景色があります。

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、生後4か月の娘、モナコに母乳育児をしていると語った。

投資ノート:Bioscout AU$300万シード

投資ノート:Bioscout AU$300万シード

Bioscoutは、農家を運転席に置くという使命を負っています。Artesian(GrainInnovate)やUniseedと並んで、最新のシードラウンドでチームを支援できることをうれしく思います。問題真菌症による重大な作物の損失は、農民にとって試練であることが証明されています。

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

遠隔医療は、パンデミック後の時代では新しいものではなく、時代遅れの分野でもありません。しかし、業界を詳しく見ると、需要と供給の強力な持続可能性と、米国で絶え間ない革命となる強力な潜在的成長曲線を示しています。

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

2021年は、世界的なベンチャーキャピタル(VC)の資金調達にとって記録的な年でした。DealStreetAsiaによると、東南アジアも例外ではなく、この地域では年間で記録的な25の新しいユニコーンが採掘されました。

ムーアの法則を超えて

ムーアの法則を超えて

計算に対する私たちの欲求とムーアの法則が提供できるものとの間には、指数関数的に増大するギャップがあります。私たちの文明は計算に基づいています—建築と想像力の現在の限界を超える技術を見つけなければなりません。

Language