そこで負数減法の説明方法としては、負数が適用可能な
　（１）直観的な点数計算
　（２）「加法←→減法」の形式性
　（３）負数＝逆量の操作の表現　
　（４）さかのぼり算１変化量推論
　（５）さかのぼり算２（変化前推論）
のいずれかになるが、各々意味が直観的に了解されてるわけではない