Matematika adalah basis pengetahuan yang terakumulasi selama sejarah manusia. Setiap bukti yang telah diisi bersifat permanen & tersedia untuk penggunaan di masa mendatang. Formalisasi mengubah matematika menjadi database formal yang mengkompilasi. Ini adalah (hiper)grafik teorema, definisi, dan dugaan. Tepi mengkodekan implikasi logis & ketergantungan. Tujuan (ganda) matematika adalah: Ekspansi & Kompresi Ekspansi menambahkan teorema baru ke basis data, terutama yang berpengaruh pada basis data saat ini. misalnya hipotesis Riemann Kompresi mensintesis dan memfaktorkan ulang basis kode, dari taktik sederhana untuk efisiensi dasar untuk definisi mendalam untuk menyatukan seluruh domain, c.f. Grothendieck Ekspansi & kompresi adalah intrinsik pada struktur matematika itu sendiri.