## Moshé Machover – Set Theory, Logic and its Limitations

Mathematical logic is an area where it’s very easy to get bogged with the details and lose the big picture. For someone intensely interested in logic, this is hardly acceptable.

For this reason, we have spent one month (April and May) working on a **summary** of *Set Theory, Logic and their Limitations, *a textbook on First-Order Logic by* *Moshé Machover. This paper summarizes the book’s last 4 chapters: More