計算機科学ってロジック（基礎論）とやっていること同じだし、起源的にも同じものだな。
そうなると、仮にロジックが純粋数学なら、純粋数学は計算機科学、という例が出ることになってしまい、話がおかしくなる。

ロジックは、数学とはいいがたいし、それを認めると、哲学や言語学、計算機科学まで数学になってしまう。

という話をすると、集合論は数学だろ、という人がいる。
確かに集合論は数学だろう。
だから、ロジックから集合論を除外すべきだ。