Az előadásban két természetes lépésben „levezetjük” az általános relativitáselmélet egy GenRel nevű elemi axiómarendszerét, a speciális relativitáselmélet hasonló elemi axiómarendszeréből. Majd megmutatjuk, hogy az így kapott GenRel axiómarendszer teljes az általános relativitáselmélet standard modelljeire (azaz a Lorentz sokaságokra) nézve.

Ez azt jelenti, hogy minden olyan, a GenRel nyelvén megfogalmazható állítás, ami igaz a standard modellekben, az formálisan levezethető a GenRel axiómáiból. Ezután kitérünk az Einstein egyenletek axiomatikus szempontból betöltött szerepére és megvizsgáljuk, hogy az Einstein egyenletek szerepe inkább definíció, vagy inkább axióma.