Skip to main content

20220829

やったこと #

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

学び #

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