Arithmetical foundations recursion, evaluation, consistency - Pfender, Michael (Kiepert, 2018)