/  
Wenn „(∃n)aRnRb” bedeutet daß es Verbindungsglieder zwischen a & b gibt,
so
dann
muß „~(∃n)~aRnRb” bedeuten „es gibt keine Dinge gibt die nicht Zwischenglieder zwischen a & b sind”. D.h. „alle Dinge sind Zwischenglieder” aber es heißt nicht: [U|u]nendlich viele Dinge sind Zwischenglieder.