NISHIO Hirokazu[Translate]
数学が有用
XがYであるというとき\forall x\in X: x\in Y なのか \exists x \in X: x\in Yなのか
これを識別するために識別することに適した記号体系を持っていることが有用である

関連


"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]