「 月別アーカイブ:2022年01月 」 一覧

no image

ハイパー論理

2022年1月28日

2022/01/28   -ハイパー論理

2022年1月28日 (拡張の日)   前回、 「半公理体系 vs 正則公理体系 vs 非正則公理体系 vs 特異公理体系」・・・(T) という新概念を定義した段階では。 猿は、些細な違いを ...

no image

ハイパー論理

2019年4月28日 (ハイパー論理)

2022/01/15   -ハイパー論理

2019年4月28日 (合体の日)   前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがYJ編で。 今回は前回の続編になります。 集合論+T(X)が数学証明の作業場 ...

Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2022 All Rights Reserved Powered by STINGER.