いや、自然数全体がそもそも構造なので、「自然数全体の集合」と言うと「自然数全体(という構造)の台集合」と受け取るしかないという話。 3 を単体で理解することはありえなくて「3 は 2 の後続数」などと自然数全体の位置として理解するものなので、「自然数」と言われたら構造の位置だろという。