A matematikai tételek 99.99%-a a ZFC axiómák a következménye. Tehát a ZFC a nagy egyesített elmélet, ha úgy tetszik, amely kb. 100 éve jól szolgál minket. A matematikusok dolga az elmélet tételeit kidolgozni, erről szólnak az említett cikkek.

Ha a fizikának egyszer lesz egy egyesített elmélete, annak tételeit ugyanúgy ki kell dolgozni matematikai módon, és ez a folyamat végtelen hosszú lesz (hiszen minden rendes elméletben végtelen sok tétel van, amelyek nem ismerhetőek fel véges algoritmussal).