哲学を数学的に考える
数理哲学
ウィトゲンシュタイン
ラッセル
分析哲学
圏論
命題論理
コンピュータサイエンス
意味論