「 投稿者アーカイブ:webmaster@int2.info 」 一覧
-
2022年5月28日
2022/05/28 -ハイパー論理
2022年5月28日 (冪の日) 3月の記事で、ωの定義と無限公理の関係について述べておきましたが。 猿は、あの部分を見て議論の流れというか、文脈を誤解したはず。 「無限公理は無数の無限 ...
-
2022年4月28日
2022/04/28 -ハイパー論理
2022年4月28日 (singularの日) 今回は前回からの続きとして。 han公理体系をsingular公理体系の観点から見ていきます。 ZFでは、無限公理で{}を採用していますね ...
-
2022年3月28日
2022/03/28 -ハイパー論理
2022年3月28日 (partの日) 今回はpart公理体系の観点から攻めていきます。 個体定数記号が出現しません、ZFでは。 だから、ZFのtermは定義できない運命。 エルブラン宇 ...
-
2022年2月28日
2022/02/28 -ハイパー論理
2022年2月28日 (具体の日) キョトン猿の場合、型に嵌った世界観で生きている猿なので。 新概念を提示しても、その有難味が分からない脳構造なのですよ。 何故か? 連中、 「han公理 ...
-
2019年3月28日 (ハイパー論理)
2022/02/15 -ハイパー論理
2019年3月28日 (実数の日) 前回までで、猿の惑星を制覇しました。 この星で、私が征服したい都市は残ってない状態。 アレキサンダーは、中国を征服せず引き返したのですが。 私は地球全 ...
-
2022年1月28日
2022/01/28 -ハイパー論理
2022年1月28日 (拡張の日) 前回、 「半公理体系 vs 正則公理体系 vs 非正則公理体系 vs 特異公理体系」・・・(T) という新概念を定義した段階では。 猿は、些細な違いを ...
-
2019年4月28日 (ハイパー論理)
2022/01/15 -ハイパー論理
2019年4月28日 (合体の日) 前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがYJ編で。 今回は前回の続編になります。 集合論+T(X)が数学証明の作業場 ...
-
2021年12月28日
2021/12/28 -ハイパー論理
2021年12月28日 (hanの日) 置換公理は性質φ(x)を用いたシェーマです。 そして、内包公理の矛盾により。 φ(x)によるシェーマ性がZF矛盾に関与していることが、薄々、判って ...
-
2019年5月28日 (ADの日)
2021/12/15 -ハイパー論理
2019年5月28日 (ADの日) 「集合論の宇宙はΔではない。」 これが集合論の基本原則ですが。 このレベルで判って無い猿が多すぎる。 ZFの宇宙はΔだと錯覚してるのよ。 その所為で、 ...
-
2021年11月28日
2021/11/28 -ハイパー論理
2021年11月28日 (微妙な日) ZF矛盾の原因として、今までは 「⏀のパラドックス」 に着目した議論をしてきましたが。 「原因はそれだけか?」 とも懐疑し続けました。 そろそろ、よ ...