Describir: Introduction to metamathematics