Similar Items: Introduction to metamathematics