Consistency strength
Redirect to:
Equiconsistency#Consistency strength