(Eine Allgemeinheit kann nicht zugleich empirisch und beweisbar sein.)