Exact(60)
This proof is finished.
This proof is completed.
This proof can be completed.
This proof is then complete.
This proof our previous claim.
This proof relies on the assumption of conditionality.
This proof uses transfinite induction up to ε0.
This proof uses the cut rule at the topmost step.
This proof is given in Appendix.
This proof is trivial and omitted.
This proof is by induction in m.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com