(Opinion)
Statements of Zahlentheorie can be formulated using a finite alphabet whose “letters” in addition to signs of variables, with certain mathematical and logical symbols (such as ,
,
,
,
,
). Countability variables of marked words of finite alphabet can then be displayed.
In this way, then Zahlentheoretische statements (or even beweis or proof) translate into numbers.
Aussage can be defined in an obvious way, whereas the concept of truth or validity is in the structures. Herein, the truth of a statement under consideration depends entirely on the structure: A statement of the intended meaning, “There is an element that is strictly greater than 0 and strictly less than 1”, for example in the structure of real symbols, but not in the structure of natural symbols.
It is important that the correctness of beweis can be verified in the formal system in a mechanical way. Thus, for example, calculations with infinite systems are no formal evidence to that effect.
Correlation between two variables does not automatically imply that one causes the other, correlation is merely a hint.
!Ergo propter hoc.