七、逻辑理论形态的多样性