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 Arithmetik zweiter Ordnung hat das umgekehrte mathematische Programm viel zu sagen.