...s），都是只指出某事件的存在性，而不具体描述寻求的方法，例如：中值定理（Mean Value Theorem）及洛尔定理（Rolle's Theorem），都是已证明是真确的存在性定理，所以只要能证明这公理是真确，便可以继续使用。
基于1个网页-相关网页
及洛尔定理
And Lore's Theorem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动