X = Y を示すのに X ≤ Y と Y ≤ X に分ける，という証明は，文章として読むとキアスムスという修辞法に似ている． X ≤ Y を示すために X ≤ Y+ε を示す，という証明も，文章として読むと一種の修辞法のような感じがする． イプシロン・デルタ，線形代数，集合…