设论域为自然数集,下列选项中,值为真的是______。