Axler does limit itself to vector spaces over real and complex fields, though.

That‘s fine, but I would have appreciated notices, which proofs and theorems do not hold in the general case.

It‘s an exercise for the reader.