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

no image

ハイパー論理

2022年7月28日

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

2022年7月28日 (馬化の日)   ZFから置換公理を除いた公理体系を、私は、 「ZF(*)」 と表示してきたわけですが。 従来、数学のかなりの部分はZF(*)で展開できると考えられてき ...

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