formal system

柯林斯詞典

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 形式系統(tǒng) (Also called formal theory, formal calculus)[logic] →compare formal language

返回 formal system