سولدىن ھېسابلايدىغان مۇنتىزىم سىستېما

ماتېماتىكا 左可计算的正则系统 zuǒ kě jì suàn de zhèng zé xì tǒng