T238：国际法定理 (International Law Theorem)

定理陈述: 国际法是社会合作理性在全球治理中的制度扩展，通过普世人权确保跨国关系的正义原则和和平秩序

推导依据

T70 + T237 + T14

依赖理论

• T70 社会合作理性定理: 确立理性个体通过合作实现共同利益的可能性
• T237 法治定理: 建立法治作为权力约束的全面制度化实现
• T14 普世人权定理: 提供超越文化差异的基本人权普遍保障

严格证明

前提引入

1. T70确立：理性个体能够通过合作实现共同利益的最大化
2. T237确立：法治是法律程序在政治权力约束中的全面实现
3. T14确立：人权具有普世性质，超越特定文化和政治制度

推导步骤1：国际法的合作基础

基于T70社会合作理性定理：国际法建立在国际合作理性基础上。各国认识到，通过建立共同的国际法秩序，能够更好地维护各自利益和共同利益。

推导步骤2：国际法的法治延伸

基于T237法治定理：国际法是国内法治向国际层面的延伸。国际法通过条约、习惯、原则等形式，对国家权力进行约束和规范。

推导步骤3：国际法的人权基础

基于T14普世人权定理：国际法以普世人权为价值基础。国际法的重要内容是保护和促进人权，确保人的尊严在全球范围内得到尊重。

推导步骤4：国际法的确立

综合T70+T237+T14：国际法通过三重基础得以确立：国际合作理性（T70）提供功能基础，法治原则延伸（T237）提供制度基础，普世人权保障（T14）提供价值基础。

结论综合

国际法定理确立了国际法的必要性：在全球化时代，国际法是维护国际秩序、促进国际合作、保护人类共同利益的不可缺少的制度安排。

证明完成

∴ 国际法是社会合作理性在全球治理中的制度扩展，通过普世人权确保跨国关系的正义原则和和平秩序 □