Anagram metamathematics