Zaslat SMS: Introduction to metamathematics