Pošljite SMS: Introduction to metamathematics