上智大で論理学の公開講義を4月から受けている
俺は数学基礎論みたいなのを想像してたのだがカントとかヘーゲルとかの話が延々続いて
全然論理学っぽいのが出てこねえ