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