Die prämissenlose Version hat also den Vorteil, dass die sowieso (wegen der falschen Prämisse) erfüllten Aussagen nicht als Axiom betrachtet werden, die Version mit Prämisse hat den Vorteil, dass man einfach sagen kann, man hat "für jedes zweistellige Prädikat" ein Axiom. Ich bin da also eigentlich unentschieden.