はじめに 導入 定義など 文記号、文結合記号 真理値割り当て 健全性、完全性 おわりに おまけ 参考文献 はじめに こんにちは、かまあげです。うだるような暑さですね。私も茹ってしまいそうです。かまあげだけに。 数学基礎論についてはどのようなイメージを…