6.1 形式法则概述