I feel that it was best to define integers before defining any arithmetic. In this development, operations like addition and multiplication are not defined at the same time that integers are defined (as operations together with a set) as they are elsewhere. We have the independent existence of integers defined prior to defining arithmetic operations. Arithmetic operates on things that have been separately and previously defined.

Like operations, the defining of naming systems for numbers has needed to wait until after the establishment of the meaning of the numbers. As stated earlier, a name is a word, phrase, character, symbol, or mark that is used to refer to something other than itself, and a numeral is a single-character symbol used singly or in combinations only to form names. N is a number if and only if N is a non-set element in an ordered set of non-set elements, and N is an integer if and only if N is an element in an integer set.

For integers to be useful for counting, they must be capable of being applied to any assemblage of discrete things. Not every such assemblage is a set, as will soon be evident; therefore let's take another a look at what it means for T to contain N elements: T contains N elements if and only if T is a set and the size of T equals N. We need a meaning that is more general:

W is the set of whole numbers in integer set Q.

S is the string from 0 to N in W.

T is an assemblage of discrete things.

Element r is in C if and only if r is a unique name for each instance of a thing in T.

C has a one-to-one correspondence with S.

---------------

If T contains a ball, a sandwich, a nail and two wrenches, it contains two things that, initially, have the same name, but they must be called wrench A and wrench B, or in some similar way given unique names for the purpose of inclusion in set C. Sets may not contain duplicate names. Each named element in a set has a name that is unique among the elements named in that set. If the five statements made in the definition are true, then there is the required one-to-one correspondence between C and S, and there are indeed N things in T.

By defining numbers as elements in an ordered set, they are required to have names unique in the set (by the definition of the term

The integers of integer set Q can be given names such that if x is associated with y in Q, y has a name that can be surmised from the name assigned to x. This is done by using a fixed set of numerals (a numeral set) in a systematic way.

To develop names for numbers that are comprised of numerals, and to do so with a minimum of confusion, this chapter displays numerals in italics.

Q is an integer set.

T is an ordered set of numerals.

---------------

Notice that the numerals

There are many naming systems. I will not define them all. The development of some naming systems for the integers in an integer set begins here with these common and popular numeral sets:

Notice that these numeral sets are ordered sets.

S is a list of names of items such that if e such an item then e is an element in some set.

Integer n is a positive integer.

The

A single item j listed in S, and only j listed in S, is such that no other item in S is associated with it.

A single item k listed in S, and only k listed in S is not associated with any item in S.

Each item p listed in S other than item k is associated with a single other item listed in S, and only that single other item.

---------------

Notice that an n-tuple may be contained in another item, and may be an element in a set, and may be an element in an ordered set.

An n-tuple is not a set. It may list a name more than once. Each instance of a name in S has a unique place in the order of S. Each name listed in an n-tuple is required to be the name of an element in some entity other than n-tuple S, and that entity must be a set.

Definition - Item e is

Definition - Item e is

Definition - Item s is

R is an n-tuple.

No item listed in R is associated with s.

---------------

Definition - Item z is

S is an n-tuple.

Element z in S is not associated with any item listed in S.

---------------

T is an n-tuple.

S is an n-tuple.

Each element in S is also an element in T.

If x and y are in S, and x is associated with y in T, then x is associated with y in S.

If p is associated with q in T, and p is not is S, and q is in S, then there is no element y in S such that y is associated with q.

If q is the starting element of T, and q is in S, then there is no element y in S such that y is associated with q.

If p is associated with q in T, and q is not in S, and p is in S, then p is not associated with any element in S.

If p is the ending element of T, and p is in S, then p is not associated with any element in S.

---------------

T is an n-tuple.

R is an n-tuple string in T.

There is no element in R that is associated with s.

---------------

T is an n-tuple.

S is an n-tuple string in T.

Element z in S is not associated with any element in S.

---------------

W is an n-tuple.

Q is a numeral set.

W is a written entity comprised exclusively of numerals belonging to numeral set Q.

The numerals of W are arranged horizontally without intervening spaces.

If s and t are in W, and s is associated with t in W, then t is written immediately to the right of s.

---------------

Notice that a written name is not a set. For example, there is no prohibition against a numeral appearing more than once in a written name.

W is a written name.

W is comprise exclusively of numerals belonging to the binary numeral set.

---------------

Q is an integer set.

P is the set of positive integers in Q.

Y is an ordered set or a set containing a single element.

If element s is in Y, then s is in P.

The ending element of Y is equal to 1.

If s and t are in Y, and s is associated with t in Y, then s = 2 ⋅ t.

---------------

Q is an integer set containing integers j and k.

Sn is a binary name containing j numerals where j is an integer.

Y is a binary string containing j elements where j is an integer.

The starting element of Sn is s.

The starting element of Y is t.

K is a set.

Integer N is in K if and only if

Whole number z = the sum of all of the whole numbers N in K.

---------------

Q is an integer set.

Negative integer z and positive integer y are in Q.

Sn is the non-negative binary name of positive integer y.

Integer y and integer z are symmetric.

---------------

Notice that the notation introduced in chapter

W is a written name.

W is comprise exclusively of numerals belonging to the decimal numeral set.

---------------

Binary names (the only systematic names we have so far) are used in the following definitions concerning decimal names for numbers.

Q is an integer set.

P is the set of positive integers in Q.

Y is an ordered set or a set containing a single element.

If element s is in Y, then s is in P.

The ending element of Y is equal to 1.

If s and t are in Y, and s is associated with t in Y, then s = 110 ⋅ t where 110 is an integer named with a binary name.

---------------

Q is an integer set containing integers j and k.

Sn is a decimal name containing j numerals where j is an integer.

Y is a decimal string containing j elements where j is an integer.

The starting element of Sn is s.

The starting element of Y is t.

K is a set.

Integer N is in K if and only if

Whole number z = the sum of all of the whole numbers N in K.

---------------

Q is an integer set.

Negative integer z and positive integer y are in Q.

Sn is the non-negative binary name of positive integer y.

Integer y and integer z are symmetric.

---------------

W is a written name.

W is comprise exclusively of numerals belonging to the hexadecimal numeral set.

---------------

Decimal names are used in the following definitions concerning hexadecimal names for numbers.

Q is an integer set.

P is the set of positive integers in Q.

Y is an ordered set or a set containing a single element.

If element s is in Y, then s is in P.

The ending element of Y is equal to 1.

If s and t are in Y, and s is associated with t in Y, then s = 16 ⋅ t where 16 is an integer named with a decimal name.

---------------

Notice that the integer named with a decimal name can only be named with a hexadecimal name after the definition of

Q is an integer set containing integers j and k.

Sn is a hexadecimal name containing j numerals where j is an integer.

Y is a hexadecimal string containing j elements where j is an integer.

The starting element of Sn is s.

The starting element of Y is t.

K is a set.

Integer N is in K if and only if

Whole number z = the sum of all of the whole numbers N in K.

---------------

Q is an integer set.

Negative integer z and positive integer y are in Q.

Sn is the non-negative hexadecimal name of positive integer y.

Integer y and integer z are symmetric.

---------------

In a particular style, three kinds of names for integers have been defined (base two, base ten and base sixteen). This section will generalize this style of naming system to base b, where b is an integer equal to or greater than two. Signed-digit bases and other unusual naming schemes will not be defined in this section.

W is a written.

W is comprise exclusively of numerals belonging to a base b numeral set.

---------------

Q is an integer set.

P is the set of positive integers in Q.

Element b is in P.

Y is an ordered set or a set containing a single element.

If element s is in Y, then s is in P.

The ending element of Y is equal to 1.

If s and t are in Y, and s is associated with t in Y, then s = b ⋅ t.

---------------

Q is an integer set containing integers j and k.

Sn is a base b name containing j numerals where j is an integer.

Y is a base b string containing j elements where j is an integer.

The starting element of Sn is s.

The starting element of Y is t.

K is a set.

Integer N is in K if and only if

Whole number z = the sum of all of the whole numbers N in K.

---------------

Q is an integer set.

Negative integer z and positive integer y are in Q.

Sn is the non-negative base b name of positive integer y.

Integer y and integer z are symmetric.

---------------

2A

Notice that the bracketed subscripts use base ten names. In the absence of this type of subscript or an explicit statement specifying the base of a given section or document, base ten is to be assumed.