User blog comment:Emlightened/Intro/@comment-1605058-20160109180510/@comment-1605058-20160109201934

Would you mind elaborating on what you mean with "defined using only primitive recursive functions"?