Abgesehen von der Allgemeinheit der Demonstration, welcher Art ist denn
die Allgemeinheit eines Axioms?
(Man könnte natürlich auch sagen „die Allgemeinheit des ganzen Systems”.)