Text this: Introduction to metamathematics