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?