Is there  an recursively axiomized system with infinitely many proofs for some propositions or a proposition? So we will have at least one proposition which is  deduced from the recursively axiomatic system in infinite ways.Could any one give an example or proof?