0745132人目の素数さん垢版 | 大砲2019/02/07(木) 21:52:31.12ID:06OlcFF6 要するに1とかはメタ理論の自然数なんだけれども、ZFCのωとか古典二階PAでは区別がないが、 一階PAそのものを研究するメタ理論を限定しない立場では1とかと内部の数項を区別する必要があるんかな ややこしいな