Wenn „(∃n)aRnRb” bedeutet daß es Verbindungsglieder zwischen a & b gibt, dann || so 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: unendlich viele Dinge sind Zwischenglieder.