两分法 否定之否定 战争法 国际法 和平法 自然法学派 《国际法院规约》 发现性规则