*49* Clarifying What Appears at the Beginning of a Construction
Mathematics is often regarded as one of the most rigorous forms of human reasoning. Its structures are precise,
Of its demonstrations are exact, and its results are relied upon in many areas of science. Yet when one looks carefully at how mathematical constructions are usually introduced, a subtle difficulty appears.
Mathematical systems are generally presented as beginning with axioms that are accepted without demonstration. From these axioms, the entire structure of the theory is then developed.
In practice this method works extremely well. Mathematical systems built in this way are coherent and powerful. However, the logical status of this starting point is rarely examined in detail.
The beginning of the construction is treated as given, while the conditions that make such a beginning possible remain largely implicit.
When the beginning of a construction remains implicit, it usually stays outside the reasoning itself.
Situations in which particular attention is given to these earliest stages of reasoning may occasionally appear when the beginning of a construction is considered explicitly.
When the beginning of a construction is considered explicitly, it must first appear within the reasoning.
The following development simply considers what appears in the reasoning at the beginning of a construction.
If the start of a construction is not considered explicitly, the system that follows may remain coherent, yet the logical status of its beginning remains unclear.
At first sight, several explanations may seem possible. Some explanations refer to elements outside the reasoning itself. Others introduce notions that are not established within the argument.
When the reasoning is considered strictly on its own terms, such explanations do not hold within it. They are therefore set aside — not because they would necessarily be false in other contexts, but because they do not belong to the reasoning being considered here.
Certain situations then appear in the reasoning when the beginning of a construction is considered explicitly.
When such situations appear in the reasoning, another point becomes visible.
In many mathematical developments, reasoning is usually considered once objects and structures are already defined.
When the beginning of a construction is considered explicitly, the reasoning may also be considered at an earlier stage, where elements appear, can be distinguished, remain identifiable, may coexist and may appear in relation to one another.
In domains where mathematical structures are already established, this difference does not affect the results obtained.
In situations where objects or relations are not yet completely stabilized, the reasoning may be considered at this earlier stage.
Distinction
A first situation appears in the reasoning.
Elements appear as distinguishable from one another.
What was previously undifferentiated appears as separate within the reasoning.
Identification
Once elements appear as distinguishable, another situation may appear.
An element may appear again and be recognized as the same.
Get Alexios Gouvielos’s stories in your inbox
Join Medium for free to get updates from this writer.
Elements that appear in this way may remain identifiable within the reasoning.
Coexistence
When elements are distinguishable and identifiable, another situation may appear.
Several elements may appear together within the same reasoning.
Elements that appear together do not appear in isolation but within a shared framework.
Comparison
When several elements appear together, they may appear in relation to one another.
In such situations, relations between elements may appear within the reasoning.
Further Developments
When relations between elements are considered, the reasoning may extend toward situations that are commonly studied in algebra.
When elements that remain identifiable are considered together and compared, configurations may appear that correspond to forms of arithmetic reasoning.
Such developments do not arise arbitrarily. They correspond to directions that become possible once elements appear, remain identifiable, and can enter into relations within the reasoning.
In many mathematical contexts, reasoning is usually carried out only once objects and relations are already stabilized.
In such cases, the structures involved are treated as already defined, and the reasoning proceeds within these established frameworks.
However, situations may arise in which such stabilization has not yet occurred. In those cases, the reasoning may be considered at an earlier stage, where elements first appear, can be distinguished,
remain identifiable, may coexist, and may enter into relations with one another.
At this stage, elements that remain identifiable may begin to be considered jointly, and relations between them may appear progressively within the reasoning itself.
As these relations appear and remain stable, constructions may begin to develop even before the structures to which they may later correspond become fully determined.
In such situations, when relations between identifiable elements appear progressively within the reasoning, forms of reasoning that later become central in algebra may emerge directly from the construction itself.
In this way, the stage at which relations first appear may itself become a point from which mathematical developments begin to unfold.
At the beginning of a construction, elements may appear as distinguishable.
They may appear again and be recognized as the same.
Several elements may appear together.
When they appear together, relations between them may appear.
From that point of achieved, the operation, further developments in the reasoning may occur.
Seen from this perspective, the beginning of a mathematical construction may not only be treated as a fixed starting point, but also as a stage whose internal conditions can be examined more explicitly.
Clarifying what appears at this earliest stage may help illuminate how mathematical structures progressively emerge within reasoning.
Such a clarification does not seek to replace existing mathematical frameworks.
Rather, it may offer a way to examine more carefully the logical conditions under which mathematical constructions become possible .
And the transition from an undifferentiated state to a relational network is the exact operational definition of pure mathematical genesis.
In this sense, the present analysis may be understood as an invitation to further reflection on the earliest stages of mathematical reasoning, and on the role that these stages may play in the development of mathematical structures of rules for numbers but as the visible resolution of symmetries born from primitive coexistence.
— — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
