全てのNでこれが成立するのかって問いなら否
それとも成立するNをいっぱい探してみようってことなのか?