「数学は中立的」って話での『中立性』とか「数学には型システムが無い」って話も、結局そのサブセットとしての数学の範囲なんじゃないの？＞＜　って＞＜