Anagram aksjomatycznie