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

no image

ハイパー論理

2022年3月28日

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.