A matematikai alapok bizonytalanságával foglalkozik ez a beszélgetés, ahol felmerül a kérdés: mennyire állnak szilárd lábakon azok a kiindulópontok, amelyekre építjük a teljes matematikai tudásunkat? Felidéződnek híres címadások, amelyek az „infinity” (végtelen) fogalmához kötődnek, miközben rávilágítanak arra, hogy a területet övező misztikum és talány ma talán erősebb, mint valaha.
Az analógia a fizika alapjaival szemben a matematikában gyakran felmerül: sok kutatót kevéssé izgatnak az alapvető kérdések, miközben gyakorlati problémák megoldásán dolgoznak. Mégis, időről időre születnek izgalmas új irányok, amelyek mélyebben vizsgálják a megszokott fogalmakat, és új összefüggéseket tárnak fel.
Két kiemelt alapfogalom, a beágyazás és a maximalitás egyesítéséből születik egy új témakör, amelyet „embedded maximality” néven emlegetnek. Ez tulajdonképpen újszerűséget jelent abban, hogy két, általában külön kezelt fogalmat együttesen vizsgálnak, konkrétan a racionális számok rendezésével összefüggésben.
A téma különösen érdekessé akkor válik, amikor a racionális számok beágyazását és a maximalitást nemcsak véges halmazok, hanem végtelen tartományok esetén is vizsgálják. Egy bizonyos ponton a kérdéskör átlépi a ZFC axiómarendszer határait, amely a „hagyományos” matematikai formalizmust jelenti, felvetve a kérdést: vajon az így kapott tételek „igazi” matematikai eredménynek számítanak-e?
Külön figyelmet kap egy úgynevezett külső kiterjesztés hasznosíthatósági tétel, amely jelenleg csak a ZFC-n messze túlmutató, „szörnykardinálisokat” (nagyon erős halmazelméleti axiómákat) alkalmazva igazolható. Felmerül: meddig lehet kiterjeszteni a matematikai igazolhatóság fogalmát, és hogyan fogadja majd mindezt a matematikai közösség?
