Moment mal. Ich kann mir ja vorstellen, daß ein Axiom mit dem Einsetzen von Prädikaten unendlich viele Möglichkeiten eröffnet, aber es bleibt für mich trotzdem nur ein Axiom. Die einzelnen Möglichkeiten, die sich aus dem Einsetzen von Prädikaten ergeben, sind für mich jedoch selbst keine Axiome, sondern lediglich Fallbeispiele (bestenfalls Theoreme) innerhalb des entsprechenden Axioms. Denn ein Axiom ist laut Definition nur ein Grundsatz, ein Naturgesetz oder ein nicht abgeleiteter Ausgangssatz. -- Wikilaser 14:35, 15. Jun. 2011 (CEST)