formal system
柯林斯词典
1. N an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system 形式系统 (Also called formal theory, formal calculus)[logic] →compare formal language
返回 formal system