Ⅴ设S⊆N，且满足2个条件（i）0∈S；（ii）如果n∈S，那么n'∈S。则S是包含全体自然数的集合，即S=N。(这条公理也叫归纳公理，保证了数学归纳法的正确性)
（ii）不应该是
"若∀n∈S，都有n'∈S，则S是包含全体自然数的集合，即S=N。"
加了句号后面的一句话就缺少成分了，句号前面的一个命题又是假命题。