20220829 やったこと # 美容院の予約 健康診断の予約 ソウルハッカーズ2 学び # 全くのゼロからの論理学を読了した。 最後に形式的証明の伏線回収があってよかった。 妥当式の全てがその公理系の定理になることが公理系の完全性、定理の全てが妥当式であることを公理系の健全性という。 2022-08-29 https://qwyng.dev/posts/20220829/ QWYNG