Definition:1-Based Natural Numbers