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