User blog comment:Bubby3/Proof of termination of pair sequence system/@comment-35470197-20181121014824

> Please comment with any problems with the proof.

If you really need feedbacks, then it is better to announce which problems you solved following comments. At least, your sentence includes no proof. You have not even reduced the argument to that of Buchholz's hydra yet. If you think that your sentence is a complete proof, then I doubt that you could verify the termination of primitive sequence system, and your starting point should be showing it.

If you do not want feebacks and just want to state "Here is my proof" without writing a proof, then please forget my comment.