Tekstiviesti: Recursion theory for metamathematics