Copying axiom by iterating it

How to write a loop from a given axiom and rule