Axiomatic Approach