Anagram axiomatizations

Sorry, no words can be formed