第 14 回まっちゃ１３９でしゃべったこと - 2^{￥aleph_0} = ￥aleph_1

フレーゲは、純粋論理が示す確実性が算術にもあることを証明する為に、述語計算をつくりました。
使われる記号は上記の通りで、変項と量化子は互いに影響を持ち、述語は変化せずに量化子の影響を受けないなどがあります。

初めて参加の勉強会で、初めての LT。
お粗末さまでした。
なにゆえに、時折、わらいが起こったのかは知る由もありません＞＜。