Text this: Recursive functions and metamathematics :