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