Invia SMS: Introduction to metamathematics