Anagram axiomatizations