The standard successor structure has the natural numbers as domain, the successor function , and the named element zero. Its complete first-order theory is the theory of successor. Without addition, multiplication, or order, elements outside the zero-generated component are possible in other models of the same complete theory.
New to topics? Read the docs here!