海词手机词典
  • Syntactical completeness is only concerned with syntactics.The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

    播放读音 播放读音