For theories at the level of reversal - arithmetic has much to say the second mathematics program . For theories at the level of reverse-order arithmetic , the second mathematics program has much to say .
Bagi teori-teori pada tahap pembalikan - aritmetik mempunyai banyak untuk mengatakan program matematik kedua. Bagi teori-teori pada tahap aritmetik tertib terbalik, program matematik kedua mempunyai banyak untuk mengatakan.