对于任意的包含皮亚诺公理的数学体系成立,也就是说对于包含所有算术的体系都成立.例子的话,比如说皮亚诺算术、ZFC集合论等等.