аксиоматическая семантика

Axiomatic semantics