公理体系定义的自然数