In particular this should include: A formulation of all mathematics; in other words all mathematical statements should be written in a precise formal language, and manipulated according to well defined rules.
Secara khusus ini harus mencakup: Sebuah formalisasi semua matematika, dengan kata lain semua pernyataan matematika harus ditulis dalam bahasa formal yang tepat, dan dimanipulasi sesuai dengan aturan yang ditetapkan dengan baik.