birkhoff's axiom Synonyms