「 年別アーカイブ:2023年 」 一覧
-
-
2023年5月28日
2023/05/28 -ハイパー論理
2023年5月28日 (可算の日) 今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。 具体的には、 「term候補として無限個の個体定数を許容するか ...
-
-
2023年4月28日
2023/04/28 -ハイパー論理
2023年4月28日 (恐怖の日) 現在はZFに対するFOPL詐欺の話題を続けていますが。 前回の続編は次回にするということで。 今回は、無限の観点からバイパスを通しておきます。 集合論 ...
-
-
2023年3月28日
2023/03/28 -ハイパー論理
2023年3月28日 (個体の日) 今回は、3月15日の新着情報の続報です。 結論を述べれば。 「集合論は矛盾する?!」 の解説で取り上げたZF矛盾証明モドキが間違いなのは確かです。 し ...
-
-
2023年2月28日
2023/02/28 -ハイパー論理
2023年2月28日 (警告の日) 今回は予定通り、ZF({x|})が第一階述語論理ベースにならないことを論証します。 これは、すでに何回も繰り返して指摘した事実であり。 証明も終えてい ...
-
-
2023年1月28日
引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。