Logika dan Teori Himpunan adlah dua penyokong utama dari matematika. Keduanya mendasari matematika pada saat kita belajar aljabar, geometri, kombinatorika dan hampir setiap bidang yang lain dari matematika. Konsep himpunan banyak memberikan struktur yang mendasari sebuah formulasi yang ringkas dari topik matematika yang dipelajari. Logika merupakan sebuah ilmu pengetahuan dimana obyek materialnya adalah berpikir (penalaran) dan obyek formalnya adalah penalaran yang ditinjau dari segi ketepatannya. Dalam logika, perhatian difokuskan kepada benar atau salahnya dari pernyataan-pernyataan (proporsi-proporsi), dan bagaimana kebenaran atau kesalahan dari sebuah pernyataan dapat ditentukan dari pernyataan-pernyataan lain.
