「 月別アーカイブ:2022年03月 」 一覧
-
2022年3月28日
2022/03/28 -ハイパー論理
2022年3月28日 (partの日) 今回はpart公理体系の観点から攻めていきます。 個体定数記号が出現しません、ZFでは。 だから、ZFのtermは定義できない運命。 エルブラン宇 ...
2022/03/28
-ハイパー論理
2022年3月28日 (partの日) 今回はpart公理体系の観点から攻めていきます。 個体定数記号が出現しません、ZFでは。 だから、ZFのtermは定義できない運命。 エルブラン宇 ...
Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2024 All Rights Reserved Powered by STINGER.