从数理逻辑概括规则看内涵科学分析法

无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。