下列各省（市、自治区）的大区编码中，正确的是（）。

A、四川：61、62、63、64

B、北京：10

C、陕西：81、82

D、辽宁：21、22

Armp公理系统的三条推理规则是自反律、增广律和________。