5: Syntactic Incompleteness - Groundwork Last updated Sep 5, 2021 Save as PDF 4.7: Summing Up, Looking Ahead 5.1: Introduction Page ID9713 Christopher Leary and Lars KristiansenSUNY Geneseo and University of Oslo via OpenSUNY ( \newcommand{\kernel}{\mathrm{null}\,}\) 5.1: Introduction5.2: The Language, the Structure, and the Axioms of N5.3: Representable Sets and Functions5.4: Representable Functions and Computer Programs5.5: Coding - Naïvely5.6: Coding Is Representable5.7: Gödel Numbering5.8: Gödel Numbers and N5.9: NUM and SUB Are Representable5.10: Definitions by Recursion are Representable5.11: The Collection of Axioms Is Representable5.12: Coding Deductions5.13: Summing Up, Looking Ahead