Einstein szerint, “az Univerzum legnagyobb csodája, hogy emberi ésszel felfogható”, Wigner Jenő pedig “a természeti jelenségek matematikai leírásának felfoghatatlan sikerességéről” elmélkedett. Manapság a matematika kellően mélyre hatolt saját logikai szerkezetében ahhoz, hogy működésének egységes logikai elvét, ami már több is, mint logika, egy új formális nyelvben megfogalmazza.

Metamatematikaként ez képviselné a matematika teljes tudásának egységes elméletét, aminek megalkotása hihetetlen betekintést kínálna a matematikát használó többi tudományág, és ezen keresztül az ember és a természet intelligenciájának legalapvetőbb törvényeibe.