Probably not what you’re looking for but traditionally in Euclidian geometry, Q.E.D. (quod erat demonstrandum = “what was to be demonstrated”) is used at the end of the proof of a theorem. Q.E.F. (quod erat faciendum = “what was to be done”) is used at the end of a problem or exercise that doesn’t involve proving a theorem.
Or perhaps - Proof by contradiction. In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by first assuming that the opposite proposition is true, and then shows that such an assumption leads to a contradiction. reductio ad impossibilem.
If you are writing intelligently, you would state that the goal is to get a contradiction if the claim is false:
Step 1. Assuming X is false, we will show that it leads to a contradiction.
Steps 2 … n-1 (various stuff)
Step n. And therefore we see that 0=1 which is the contradiction we sought. Q.E.D.
Some text as to why the contradiction is aimed for is helpful so there would be no need to end on a negative conclusion. You phrase it as a positive goal.
When my father was teaching English, he had a rubber stamp made up that he would use to indicate that a statement made is blatantly false and needs to be rewritten.