Matematika

Logika matematika diperhatikan dengan meletakkan matematika pada sebuah kerangka kerja aksiomatis yang kaku, dan mengkaji hasil-hasil kerangka kerja itu. Logika matematika adalah rumah bagi Teori ketaklengkapan kedua Gödel, mungkin hasil yang paling dirayakan di dunia logika, yang (secara informal) berakibat bahwa suatu yang berisi aritmetika dasar, jika "suara" (maksudnya semua teorema yang dapat dibuktikan adalah benar), maka "tak-lengkap" (maksudnya terdapat teorema sejati yang tidak dapat dibuktikan "di dalam sistem itu").