  A 'state property system' is the mathematical structure which models an
arbitrary physical system by means of its set of states, its set of properties,
and a relation of 'actuality of a certain property for a certain state'. We
work out a new axiomatization for standard quantum mechanics, starting with the
basic notion of state property system, and making use of a generalization of
the standard quantum mechanical notion of 'superposition' for state property
systems.
