Axiomatic quantum field theory