：正确法律是形式的，法律追求的是形式定义或程序定义