Correction: (max 500 charact.)
The complaint will not be published.
I 53
Isomorphism/Mathematics/general public/generalization/axioms/Hilbert/Waismann:
New: in modern mathematics one came to the realization that geometrical sentences can be applied to a completely different field.
For example, all the theorems that are about the straight lines of our space can be interpreted as being about all the points of a four-dimensional space. The two thought systems are completely isomorphic (built the same).
The sensuous appearance thus plays no role for the validity of the sentences. One is now consciously dispensing with saying what a straight line is.
>
Geometry , >
Space .
I 54
Point, line, plane, are understood to mean any things for which the axioms set forth are true.
Hilbert gives an example: the numerical distribution of deviations in the cultivation of Drosophila (flies) coincide with the linear Euclidean axioms of congruence and the geometric concept "between". So simple and so accurate as you would not have dreamed of.
>
Analogies , >
Proofs , >
Provability .
I 55
The last step: also the signs of the logic calculus are content-wise undefined. (connection signs).
>
Logical constants , >
Equal sign ,
Connectives , >
Identity .
Problem: consistency must first be defined e.g.:
Def consistent: is a formula system, if, in it, 1 unequal 1 does never occur.
>
Consistency .
Metamathematics is then content-related, with the main goal of consistency.
Hilbert: The axioms and provable propositions are representations of the thoughts which constituted the usual method of the previous mathematics, but they are not themselves the truths in the absolute sense.
>
Truth/Waismann , >
Truth/Hilbert , >
Axioms/Hilbert .