any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

• 将陈述文去其内容而抽象其形式以求达到一致性与正确性的抽象标准的一种逻辑系统