ていうか、「『数学』ではこうです！」って話が指すサブセットの数学の話、「数学ではこう！」じゃなく、
そこらのなんらかのプログラミング言語の何らかの型の「仕様はこうです！」
程度のものなんでは？＞＜　って不信感＞＜