1. For theories at the level of reversal - arithmetic has much to say the second mathematics program .
2. For theories at the level of second-order arithmetic , the program for reverse mathematics has much to say .

Are these two sentences paraphrases of each other?
no