Comment by cubefox

Not finitely axiomatizable using first-order logic, I assume.