首先, 提出并证明了多元非负函数在有界闭域上的算术平均值极限的Riemann 积分形式; 其次, 证明了当n趋于无穷大时n值R0 命题逻辑系统中广义真度极限的存在定理; 最后根据多元非负函数在有界闭域上的算术均值极限的Riemann 积分形式和当n趋于无穷大时n值R0命题逻辑系统中广义真度极限的存在定理, 在连续值R0命题逻辑系统中建立了公式相对于局部有限理论的广义真理论, 为在R0命题逻辑系统中建立基于局部有限理论的近似推理理论, 广义积分语义理论等奠定了基础.