“Alle Kreise sind im Quadrat” kann nur entweder heißen “eine gewisse Anzahl von Kreisen ist im Quadrat” oder “es ist kein Kreis außerhalb”. Der Satz “es ist kein Kreis außerhalb” ist aber wieder die Verneinung einer Allgemeinheit und nicht die Verallgemeinerung einer Verneinung.