For theories at the level of second-order arithmetic , the reverse mathematics program has much to say .
For theories at the level of second-order arithmetic , the program for reverse mathematics has much to say .
For theories at the level of second-order arithmetic , the program for reverse mathematics has much to say .
이 문장을 바꾸십시오: For theories at the level of second-order arithmetic , the reverse mathematics program has much to say . 산출: