(It is clear that some properties cannot be defined explicitly, since every deductive system must start with some axioms.
（显然有些特征不能被明确地定义，因此每个引导系统从某些公理开始。