他ブログ更新情報（その１４３）

　現在２０２２年１１月２１日２３時２３分である。

　麻友さん。『１から始める数学』のブログに以下の投稿をしたよ。

foundations.hatenablog.com

　ちょっと、勢いで、麻友さん達３人に、ゲーデルの第一不完全性定理を、証明して見せると、約束しちゃった。実現できるかな？

　現在２０２２年１１月２１日２３時２６分である。おしまい。

現代論理学〔新装版〕