『はじめての数理論理学』という本を読み始めた。 図書館で数理論理学の書籍を探していくつか手に取ってみたけど、この本がとっつきやすそうだった。命題論理から始まり、証明法へ続き、後ろの方では意味論、健全性、完全性という言葉が並んでいるのも見えた…