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