就是《逻辑学体系》中的一部分。