二つあるのでは?

一つは、数学の一分野の数学基礎論。
二つ目は、文系のなんちゃら論理学