1+1が2なのはなぜか？も説明出来るように教えるのがよさそうだけど、数学界隈によると？、それは難しいっぽい？のが謎＞＜
数学大嫌いなオレンジの発想だと、型システムからの解釈で説明できる(それが数学的かどうかは知らない)から、すごく謎＞＜
(定義の問題で考える感じ＞＜)