The transfinite induction up to ε₀ required to establish well-foundedness cannot itself be proven wi...