ある人ってのが誰か分かりすぎるｗ

確かにコアな部分を突き詰めていくと数学基礎論(現代論理学や圏論)にもブチ当たるね。
数学基礎論ってのは、日本の数学研究者の9割以上が知らない分野だから、そういう話が出来る相手がまず貴重だよね。
現代論理学は分析哲学という括りで語られることもあるから、哲学系のアドバイザーも欲しいところだね。
通常の述語論理程度ならば入門書が沢山あるけれども、もっといろんな論理体系を学びたくなるかもしれないしね。

まぁ、具体的に何を学ぶべきかは、作りたい物の種類やレベルによって違うけど。