فورمال ئېنىقلىما

ئۇنىۋېرسال 形式定义 xíng shì dìng yì