问题
代数结构 ℕ = ⟨ℕ; +, ·, ^⟩（自然数带加、乘、幂）。中学公理（Higman、Wilkie 等的用语）是大家熟悉的恒等式集：加法交换/结合、乘法交换/结合、分配律、以及指数的两条律 xy+z = xyxz 与 (xy)z = xyz（连同 1 的中性律等）。问题：这些公理能否推出 ℕ 的全部恒等式？Gurevič（1985）给出两个否定性的深刻结论：①中学公理不完备——存在 ℕ 的真恒等式不可由它们推出；②ℕ 的恒等式理论非有限公理化。仍开放的：完整的（无限）公理化是什么？该理论是否可判定？
主要概念
指数的 «野性» 与括号结构
+ 与 · 的恒等式理论是良驯的（交换环的公理化，教科书内容）；一切困难来自 ^。指数律的 «括号敏感» 是野性的最小样本：( ab )c = abc 与 a( bc ) 是不同的式子（反例 2,2,3：26 = 64 与 28 = 256），而 «指数的交换» 恒等式（ab)c = (ac)b 是真恒等式（两边 = abc，用乘法交换律）——公理系统须在 «能交换处交换、不能交换处不动» 之间精确划界，Gurevič 的不完备性正是划界的失败。
模型论视角
中学公理的模型类包含 «非标准» 代数（满足公理但不与 ℕ 等式等价的 «伪幂» 结构）——不完备性等价于存在这样的模型。非有限基则更强：任何有限公理集都留有 « ℕ 的真恒等式» 落在闭包之外。Gurevič 的证明把这两个否定性归约到 «指数词的加法组合复杂性»——与 08 号 «指数的野性»、47 号 «收敛呈现» 的地平线相连。
主要命题与证明
命题 1（括号敏感性与指数交换恒等式；完整证明） 在 ℕ 中：(i) 恒等式 (xy)z = (xz)y 成立且可由中学公理推出；(ii) «式» (xy)z 与 x(yz) 不构成恒等式（反例 x=2, y=2, z=3）。
证明 （i）语义：(xy)z = xyz = xzy = (xz)y（ℕ 中乘法交换）。语法：公理 (xy)z = xyz 应用两次得 (xz)y = xzy，再由乘法交换律 yz ≈ zy 桥接——推导完备。（ii）代入 x=2,y=2,z=3：(2²)³ = 2⁶ = 64 而 2(2³) = 2⁸ = 256，64 ≠ 256，故 «等式» 不是 ℕ 的恒等式。□
命题 2（Gurevič 定理，1985；陈述） （i）中学公理不完备：存在 ℕ 的恒等式不可由中学公理推出（«非标准模型» 分离）；（ii）ℕ 的恒等式理论非有限公理化；（iii）理论的判定算法问题在 Gurevič 工作之后仍开放；Macintyre 等的后续工作确认 «可判定性» 是该理论的主开放点之一。
机制说明 Gurevič 的构造把 «指数塔» 词的求值编码为加法组合的 «非交换计数»：在非标准模型中 «幂» 可被 «伪造» 为满足中学公理但破坏深层恒等式的函数。非有限基的证明是 «反例链» 型（与 13 号 Perkins 机制同族）：每个有限公理集都能被一个 «更长» 的真恒等式逃逸。□
命题 3（Higman 嵌入与词的组合；陈述） 中学代数恒等式理论的 «困难核» 与 Higman 的 «幂词嵌入» 理论相连：指数词（幂塔、混合塔）的等价判定涉及自然数上加乘组合的深层性质；«完整公理化» 的任何候选都必须处理 «指数塔上的算术»，这正是它与一阶算术不可判定现象擦边的位置（但恒等式理论是一阶 全称片段，可判定性仍可能成立——45 号 «有限半群全称理论» 的对偶面）。
现状说明 理论现状：负侧（不完备、非有限基）已成定理；正侧（公理化、可判定性）整层开放。与 15 号（模式可避性）共享 «词组合学的算法问题» 的方法论；与 19 号（周期半群）共享 «指数» 的双重含义（词的幂与算术的幂）。□
进展与文献
Gurevič《Equational theory of positive numbers with exponentiation》（1985）；Higman 的幂与嵌入经典；Wilkie 关于 «中学公理» 系列的模型论工作；Macintyre 的可判定性综述。开放核心：完整（无限）公理化；判定算法的存在性； «指数 » 加入后 «中学代数» 与一阶算术的精确边界。