Axiomatic foundations of quantum mechanics revisited: The case for systems