再帰函数論とかモデル理論とかは哲学なんですか？
証明論だって集合論との関連でかなり面白いことをやってる人が居るんだが