順序数表記と順序数の違いが分かりません。
前者は単なる文字列集合とその上の二項関係(計算可能な整列順序)の組で、後者は集合論で定義される集合ってことであってますか？