nが数列a_nに含まれるか、という問いを考えることにより、ある問題をはらんだ数列(含まれるようなnの列)と(含まれないようなnの列)が考えられる。