<math> <apply><forall/> <bvar><ci>n</ci></bvar> <apply><implies/> <apply><in/><ci>n</ci><naturalnumbers/></apply> <apply><in/><apply><plus/><ci>n</ci><cn>1</cn></apply><naturalnumbers/></apply> </apply> </apply> </math>