形式系统-形式系统

《形式系统》，此词条收录于01/19，仅供参考

      形式系统，是完全形式化的系统，用形式语言表述，这是现代公理系统的趋势，是不同于古典公理系统之处。