Leonhard Euler
Euler berkarya dalam hampir semua bidang matematika, seperti geometri, kalkulus infinitesimal, trigonometri, aljabar, dan teori bilangan, selain juga fisika kontinuum, teori lunar dan bidang-bidang fisika lainnya. Ia merupakan tokoh utama dalam sejarah matematika; jika dicetak, karya-karyanya, kebanyakan pada landasan ilmu, akan menjadi 60 sampai 80 volume quarto.[4] Nama Euler juga terkait dengan banyak topik.
Teorema ketaklengkapan Gödel
Teorema ketaklengkapan Gödel () adalah dua teorema logika matematika yang menetapkan batasan ("limitation") inheren dari semua kecuali yang paling trivial yang mampu mengerjakan aritmetika. Teorema-teorema ini, dibuktikan oleh Kurt Gödel pada tahun 1931, penting baik dalam logika matematika maupun dalam filsafat matematika. Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa untuk menghitung himpunan lengkap dan konsisten dari bagi semua matematika adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap .