Für Theorien auf der Ebene der Umkehrarithmetik hat das zweite Mathematikprogramm viel zu sagen.
Für Theorien auf der Ebene der Arithmetik zweiter Ordnung hat das Programm für Rückmathematik viel zu sagen.