Wie ist es, wenn man ein Beweissystem einem anderen koordiniert? Es gibt dann eine Übersetzungsregel mittels derer man die in S1 im einen bewiesenen Sätze in die in S2 im andern bewiesenen übersetzen kann.
     Man kann sich doch aber denken, daß
einige
viele
, oder alle, – Beweissysteme der heutigen Mathematik auf solche Weise einem System, etwa dem R.schen zugeordnet wären. So daß alle Beweise, wenn auch umständlich, in diesem System ausgeführt werden könnten. So gäbe es dann nur das eine System – & nicht mehr die V vielen Systeme? – Aber es muß sich
doch also von dem
einen System
einen
zeigen lassen, daß es sich in die den vielen darstellen laßt. // , daß es sich in die vielen auflösen läßt. // – Ein Teil des Systems wird die Eigentümlichkeiten der Trigonometrie besitzen, ein anderer die der Algebra, u.s.w.. Man kann also sagen, daß in diesen Teilen verschiedene Techniken
verwendet
gebraucht
werden.