数理論理学やりたいのになんで哲学科なんだよ！

＞自然数に数項ってのがありますよね。
この時点であちゃー感が漂ってるよねえｗ

そんなアルゴリズムをどこで使うんだよっていう