Wir brauchen, z.B., eine Methode, festzustellen, ob || daß in zwei Klammern die gleiche Anzahl von Variablen steht. Denn, was es heißt, in beiden stehe die gleiche Anzahl hängt (so sehr) von der Zählermethode ab, wie der Sinn der Aussage zwei Stöcke seine gleich lang || des Satzes “diese || die zwei Stöcke sind gleich lang” von der Meßmethode (oder Vergleichsmethode.) – Wir sagen etwa daß der Satz eine Tautologie ist, wenn in diesen beiden Klammern die gleiche Anzahl von Variablen steht: aber sagt das, daß nicht in der einen 10000, in der andern
10001 Variable stehen können? Sagt es, daß 10000 ≠ 10001?