>>406
>>残念ながらそもそもωが唯一だといえない
>>いくらでもノンスタンダードなωが存在し得る
>それ一階の話で二階では違う
二階算術は帰納的に公理化できないのでそんな話しても無意味
いいかげんできもしないことでマウントするのやめような
恥ずかしいから