>>518
ラベル使え！

>>514
数学だって高校数学って結構理論的には一部非形式的なことやっているぞ。
たとえば、解析だけど、直感でdxとかdyとかやるのは超準解析の理論から
だ。もちろん超準解析はきちんと理論的に構築されているが、大学のふつうに
解析学でやるのはεδ論法での「正当派解析学」。それじゃむずかしいから
高校では理論なんかそっちのけで、超準解析学の結果だけを取り入れて説明
する。ようするに「なんでもありのちゃんぽん状態」