>>624
>n≧5の場合のSnというものをそれぞれ個別に認識しているってことだよ
n≧5であるn自体個別に認識してる
自然数は有限性の公理を満たす順序数のモデル
てのはどう?