A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. …