12/02/02 07:31:16.88
┌∩┐(◣_◢)┌∩┐
上の方にある、
一階述語論理 － 集合論 － 各数学
の図式は古典的で、考えているのは数学屋だけ。
実際には一階述語論理 － 集合論の間の区別は曖昧。
12/02/02 07:31:16.88
┌∩┐(◣_◢)┌∩┐
上の方にある、
一階述語論理 － 集合論 － 各数学
の図式は古典的で、考えているのは数学屋だけ。
実際には一階述語論理 － 集合論の間の区別は曖昧。
12/02/02 07:31:16.88
┌∩┐(◣_◢)┌∩┐
上の方にある、
一階述語論理 － 集合論 － 各数学
の図式は古典的で、考えているのは数学屋だけ。
実際には一階述語論理 － 集合論の間の区別は曖昧。