基本となる概念を大体学んだので、textbookを読み返して、書かれていることを整理してみた。復習というか、リマインダとしては使えると思うので、ここに記載する。 集合論 集合論は、一階述語論理に対し二項述語「∈」を加えて構成される理論である。なお、集…