In informatica si direbbe che esiste un insieme ricorsivo di assiomi.
Anche se può sembrare strano immaginare un elenco infinito di assiomi, questo è proprio ciò che si usa nella assiomatizzazione dei numeri naturali nella logica del primo ordine: quando vogliamo convertire gli assiomi di Peano in un linguaggio del primo ordine, il principio di induzione diventa uno schema di assiomi - esso dice che per ogni possibile "proprietà" se lo zero ha "quella certa proprietà" e il successore di qualsiasi numero naturale che abbia "quella proprietà" ha anch'esso "quella proprietà", allora tutti i numeri naturali hanno "quella proprietà" -.
Poiché ciò deve valere per ogni possibile proprietà e nel linguaggio del primo ordine non si può quantificare sulle proprietà, l'unico modo possibile per definire il principio di induzione in questo contesto è considerare un numero infinito di assiomi, uno per ogni possibile proprietà che si può definire nel linguaggio del primo ordine.
Le parti metalliche dell'impugnatura  e il fodero sono nichelati.