>>12
論理学と数学基礎論かなあ。命題を記号で表すやつ。