皮亚诺公理
- 网络Peano axioms;Peano's axioms
皮亚诺公理-
在这些问题中，第二个就是皮亚诺公理的相容性，他认为，数学的严格性皆取决于此。
Of these , the second was that of proving the consistency of the ' Peano axioms " on which , as he had shown , the rigour of mathematics depended .
-
他从皮亚诺的整数公理开始，经过集合层次理论的拓展，使这个系统可以代表整数的集合、整数的集合的集合，等等。
He started with Peano 's axioms for the integers , but enlarged through a simple theory of types , so that the system was able to represent sets of integers , sets of sets of integers , and so on .