axiomatic semantics Аксіомна семантика аксіоматична семантика Англо-український словник технічних термінів