Wir brauchen, z.B., eine Methode, festzustellen,
daß
ob
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 des Satzes von “diese zwei Stöcke seien 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?