関数に f を使うのはfunction
自然数 n は natural number

では集合族の添え字の集合のΛ(大文字のラムダ) は？
ε‐δ論法のεとδは？？
なぜa‐b論法ではダメだったのか。