Title: A computer science version of Gödel's theorem
Subjects: Foundations, Gödel's theorem, Symbolic and mathematical Logic, Arithmetic, Incompleteness theorems