Az előadásban a klasszikus teológiai gondolatok és a matematikai logika izgalmas metszetét járja körül az előadó, középpontban a ZFC-halmazelmélet konzisztenciájának egyedülálló bizonyításával. Az alapkérdés az, hogyan lehet egyfajta ‘isteni’ vagy ‘angyali’ tulajdonságokat matematikai fogalmakkal, például ultrafilterekkel vagy mérhető halmazokkal rokonítani.
Felmerül, hogy különböző tulajdonságokat osztályozhatunk pozitív és negatív kategóriákba, és egy tökéletes létező, például Isten, kizárólag a pozitívakkal bír. Gödel filozófiai elgondolásait továbbgondolva, az előadó egy matematikai átiratot javasol: az ‘angyal’ koncepcióját, amely az összes explicit módon definiálható pozitív tulajdonság halmazának eleme.
Külön érdekességet jelent az azonosítás, hogy az ‘angyal’ matematikai axiómájának felvétele mellett lehetséges a ZFC rendszer konzisztenciájának bizonyítása, feltéve hogy létezik mérhető kardinális szám – egy erős, halmazelméleti fogalom. Több teológiai tulajdonság és ezek matematikai párhuzamainak vizsgálata is felmerül, mint az omnipotencia vagy mindentudás összekapcsolása absztrakt halmazelméleti struktúrákkal.
A diskurzus emellett kitér arra is, milyen fogadtatásban részesülnek ezek a gondolatok a matematikus közösségben, milyen reakciókat váltanak ki, és mennyiben inspirálhatják a teológia és matematika kölcsönhatásai a kutatást.
