“形式安全”是诱发安全事故的根源