User blog comment:Ynought/Another question/@comment-37246647-20190709114809/@comment-34422464-20190709154208

PTO is the smallest ordinal a theory cannot prove that the relations are well-founded if you include the ordinal. Well-founded means stuff like a>b>a or a<a cannot happen from what I can tell.