また、順序数においてε_0などを矢印表記やBEAFで表すことはできません。厳密な説明は長くなるので省略します。