Wenn das Kriterium dafür daß p aus q folgt darin besteht daß man „beim Denken von q p mitdenkt”, so denkt man wohl beim Denken des Satzes „in dieser Kiste sind 10⁵ Sandkörner” die 10⁵ Sätze „in dieser Kiste ist ein Sandkorn”, „… 2 Sandkörner” etc. etc.? Was ist denn hier das Kriterium des Mitdenkens!
    Und wie ist es mit
einem
dem
Satz: „der ein
|
C
|
B
|
A

F
|
A
|
B
|
C
Fleck (F) liegt zwischen den Grenzen AA”? [f|F]olgt aus ihm nicht, daß F auch zwischen BB liegt & zwischen CC liegt, u.s.w.? Folgen hier aus einem Satz unendlich viele? & ist er also unendlich vielsagend? – Aus
dem Satz „ein Fleck liegt zwischen den Grenzen AA” folgt jeder Satz von der Form Art „ein Fleck liegt zwischen den Grenzen BB” den ich hinschreibe & so viele als ich hinschreibe. So Wie aus p so viele Sätze der Form p ⌵ [q| ξ] folgen, als ich hinschreibe (oder ausspreche, etc.). (Der Induktionsbeweis beweist so viele Sätze von der Form … als ich hinschreibe.)