Title: Formal systems and recursive functions