数学とか 集合と認識と自然演繹
我流集合論 人の認識の規則を記号化したものが論理、それを拡張したのが集合、それをさらに拡張したのが関数、という過程の下なら、下記の関係が成り立つはずなので、それを証明します。(A⊂B)⇔(x∈A⇒x∈B)⇔(P(x)⇒Q(x)) 集合 A ...
数学とか
トレーニング
技術
よもやま話
よもやま話
技術
数学とか
よもやま話
よもやま話
よもやま話
よもやま話
技術