Zaslat SMS: Recursion theory for metamathematics