>>325
Dirichletの定義を集合論の言葉で言い直したのが厳密化?