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 .
Bagi teori-teori pada tahap aritmetik urutan kedua, program matematik terbalik mempunyai banyak untuk mengatakan. Bagi teori-teori pada tahap aritmetik urutan kedua, program untuk matematik terbalik mempunyai banyak untuk mengatakan.