Special:EditPage/Non-standard model of arithmetic