phraseologism
дұрыс құрылған формула
A string of symbols in a formal language that is grammatically (syntactically) correct according to the rules of the language, often used in logic and mathematics to denote valid expressions.
Формалды тілдегі таңбалар тізбегі, ол тілдің ережелеріне сәйкес грамматикалық (синтаксистік) тұрғыдан дұрыс құрылған, логика мен математикада дұрыс өрнектерді белгілеу үшін қолданылады.