术语“基础命题”的详细信息

英译术语:

substrate proposititon

汉语语境:

公理系统由公理化方法构成，其基础是少数几个作为出发点的公理性的命题，其他的所谓派生命题由这几个基础命题推出，推理必须遵循严格的逻辑规则。理论中由逻辑推理而来的派生命题，则需要接受经验事实的检验。如果检验的结果是理论与事实不符，理论就需要调整和修正。

英语语境:

Axiom system is consisted of axiom method, which is based on several statement as the starting point, and other derivative statement is proposed from the substrate proposition. The resoning process must be strictly follow the logic rules, and the derivative statement should undergo the test of reality. If it is not aligned with the fact, then the theory should be fixed and corrected.