Formal Models and Axiomatic Measurement · Study