Jabarkan |  ||  ||  || dari Matematika dalam bahasa banyumasan

| Teori bilangan || Aljabar abstrak || Teori grup || Teori orde

Untuk memeriksa dasar-dasar matematika, lapangan logika matematika lan teori himpunan dikembangkan, uga teori kategori sing masih dikembangkan. Kata majemuk "krisis dasar" mejelaskan pencarian dasar kaku untuk matematika sing mengambil tempat pada dasawarsa 1900-an sampai 1930-an. Beberapa ketaksetujuan tentang dasar-dasar matematika berlanjut hingga kini. Krisis dasar dipicu oleh sejumlah silang sengketa pada masa itu, termasuk kontroversi teori himpunan Cantor lan kontroversi Brouwer-Hilbert.

Logika matematika diperhatikan dengan meletakkan matematika pada sebuah kerangka kerja aksiomatis sing kaku, lan mengkaji hasil-hasil kerangka kerja itu. Logika matematika adalah rumah bagi Teori ketaklengkapan kedua Gödel, mungkin hasil sing paling dirayakan nang donya logika, sing (secara informal) berakibat bahwa suatu sistem formal sing berisi aritmetika dasar, jika suara (maksudnya semua teorema sing dapat dibuktikan adalah benar), maka tak-lengkap (maksudnya terdapat teorema sejati sing tidak dapat dibuktikan di jero sistem itu). Gödel menunjukkan cara mengonstruksi, sembarang kumpulan aksioma bilangan teoretis sing diberikan, sebuah pernyataan formal nang jero logika yaitu sebuah bilangan sejati-suatu fakta teoretik, tetapi tidak mengikuti aksioma-aksioma itu. Oleh karena itu, tiada sistem formal sing merupakan aksiomatisasi sejati teori bilangan sepenuhnya. Logika modern dibagi ke jero teori rekursi, teori model, lan teori pembuktian, lan terpaut dekat dengan ilmu komputer teoretis.

{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15"