20220829

やったこと

• 美容院の予約
• 健康診断の予約
• ソウルハッカーズ2

学び

• 全くのゼロからの論理学を読了した。
  • 最後に形式的証明の伏線回収があってよかった。
  • 妥当式の全てがその公理系の定理になることが公理系の完全性、定理の全てが妥当式であることを公理系の健全性という。