M. Carl, B.Z. Moroz "A polynomial encoding provability in pure mathematics (outline of an explicit construction)," Bulletin of the Belgian Mathematical Society - Simon Stevin, Bull. Belg. Math. Soc. Simon Stevin 20(1), 181-187, (february 2013)