>>775
非加算の順序数が書いてあるようだが
結論の解説を