別に厳格な定義はないし、個々人が何となく集まってるだけ。
そんな事言ったら数学基礎論、情報数理はどうなるのってことだし