Well-foundedness of ε₀ can be established proof-theoretically without assuming PA's consistency; it ...
This proposition has not been edited since the history system was added.