Month: January 2019

Reflexionsprinzip 量理論の領域からの数学的文です。重要なメッセージは、量の宇宙についての量理論の言語で定式化できる文はないということです。つまり、すべての量のクラスについては、適切な量（以下を参照）でまだ「ミラーリング」されていません（以下を参照）。この判決は、リチャード・モンタギュー（1957）とアズリエル・レヴィ（1960）に戻ります。 ステップを見ます の α{displaystyle v_ {alpha}} フォンノイマン階層。は ファイ {displaystyle varphi} ツェルメロフレーンケルの融合理論の式、つまり量の変数の1つとシンボル ∈ 、 = 、 ¬ 、 ∧ 、

1974年：モシグ、ホワイト、 ミュラー 、Ahrenholz、Schwede、Richter、Dobler、Lehmann、Stf。ブリンサー （DDR） | 1975年：モシグ、ニッチェ、ノイ、カリー、シュウェデ、リヒター、クネッチ、ゴレツキ、STF。ウィルケ （DDR） | 1977年：アイアン、シュタンドルフ、ローズ、ナイザー、サンディグ、カース、シュウェデ、メッツェ、STF。テイスティング （DDR） | 1978年：ジェラケイ、キル、ブリカ、ビコッカ、マカナ、マカナナ、ヴェララ、セラト。 Codeaolaから （urs） | 1979年：Crejek、Bunk、Chanclaton、Jeramon、20-2 Richon、Mabnana、Matana、Matana、Wames。 Codeaolaから （urs） |