The Meaning and the Truth of the Collected and Expanded Natural Number

• 自然数集扩充的意义和公理化