Reverse Mathematics

Ein Forschungsprogramm und eine Relation, die mathematische Theoreme dadurch klassifizieren, dass die schwächsten Untersysteme der Zweitordnungsarithmetik identifiziert werden, die über einer schwachen Basistheorie äquivalent zu diesen Theoremen sind; untersucht wird, welche Axiome notwendig und hinreichend sind, um bestimmte Resultate zu beweisen.