lexicographic

6260 notes: 词典序度量、互递归、终止性与第一份归纳证明