（2）可导出条件（The condition of derivability）。一个理论T2要还原为理论T1，必须要求T2的所有规律由T1的规律以及相关的桥接原理逻辑地推导出来。
基于16个网页-相关网页
the condition of derivability
可导性的条件
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动