How to Use "metamathematics" with Example Sentences