Tekstiviesti: Introduction to metamathematics