皮亚诺算术
- 网络Peano Arithmetic; PA
皮亚诺算术皮亚诺算术
Peano Arithmetic
...》报道,美国哲学家和数学家科林·迈克拉蒂日前称：用皮亚诺算术(Peano Arithmetic)证明费马大定理比英国数学家安德鲁·怀 …
PA
皮亚诺算术（PA）的公理可以表达为下面6个数字公理和一个数学归纳法公理（见【5】）。~(0=Sx)；Sx=Sy → x=y；x+0=x；…
皮亚诺算术皮亚诺算术