0012132人目の素数さん垢版 | 大砲2018/07/28(土) 11:22:30.05ID:Y1SPhUlx また、順序数においてε_0などを矢印表記やBEAFで表すことはできません。厳密な説明は長くなるので省略します。