（足し算だけど＞＜；）

さんすう「リンゴが5個ありました。みかんが3個ありました。あわせていくつでしょう？＞＜」

(自称数学好きに多い？)型理論が無い数学（のサブセット）
「5は5であり3は3であり 5+3 あるいは3+5で答えは8。みかんもリンゴも無い」

型原理主義者
「いくつって何が？＞＜」