そもそも数学はサイエンスなのか、と思いながらも

「サイエンス」カテゴリに数学関連のいくつかのキーワードを移す。論理学やら数学基礎論のあたりは非常に線引きが微妙で困った。「ゲーデル」とか。