数理論理学 5 月 14 日の講義での演習問題