http://www.cs.elte.hu/~krja/

Itt a "matematikai analízis logikai alapjai" című jegyzet. 121. oldal közepétől.

"Lehet, hogy a szerző talált egy jobb módszert a matematika megalapozására, mint az elsőrendű elméletek"

Nem hinném, hogy sajátja, ha Hilbertnek vonatkoznak ezekre tételei, akkor annyira új azért nem lehet.