Jegyzetet konkrétan nem tudok, de vannak logikusok-filozófusok akik sokat foglalkoznak többek közt ezzel is, ők biztos tudnak mondani sok érdekeset erről.

Mindenesetre az én javaslatomban a "fizikai" szinten csak a nyelv, formula, ZFC axióma, levezetés az amire szükséged van, ennél sokkal jobban redukálni a dolgokat szerintem nem nagyon lehet.

Utána fölépíted a halmazelméletet, utána pedig a halmazelméletre alapozva a logikát újra, immárom szemantikával, aztán az összes többi területet.