User blog comment:Kyodaisuu/Pair sequence system/@comment-5529393-20140916133604/@comment-24061664-20140916134543

I've been asking Bashicu, but still proof is difficult. I tried it myself but not sure how to proove. It has to be proove that the pair sequence, or the Bashicu matrix in general, is well-founded, but I am not sure how I can proove it. We need more background knowledge of foundations of mathematics.