>>49 そのとおりだな。
εδ論法を論理式の扱いとしか見てない人にとっては、
例えば、ある関数の連続性などを証明するときも、εδによる連続の定義に当てはまるように書いてるだけなんだろうな。