The system of axioms on state variable weights and variable weights is studied.

This system is self-suffient in the sense that if we wish to deduce an equality involving only some of the three functions, then we need only to make use of the corresponding axioms.

Two groups of axioms in the natural axiom system of probability theory are set up.