>>174
安達君は自然数全体の集まりは存在しない、っていいたいんでしょ