「杰斯拉瓦引理」:修訂間差異
imported>57571bb 创建页面,内容为“杰斯拉瓦引理(鹰语:Jeslava lemma),是由来自碲星(不是碲球)的超数(超理数学)学家杰斯拉瓦提出的一条引理。 == 应用 == 理论上可以'''一步'''解决所有的数学证明题,即使是公理。除非题目出错了。 以下是杰斯拉瓦对此说的一段话:韦达定理啊,鉴于你们对于蛮不讲理方程不太了解,我建议你们去理解一下杰斯拉瓦引理在瓜豆大定理的狄利克…” |
imported>57571bb 無編輯摘要 |
||
第14行: | 第14行: | ||
所有正确的证明题让你证明的东西都一定是正确的 | 所有正确的证明题让你证明的东西都一定是正确的 | ||
[[Category | [[Category:超理理论]] | ||
[[Category | [[Category:超理数学]] |