همداشان، د دې ښودلو لپاره چې د ریاضی کوم ښکاره سیسټم په حقیقت کي موافق دی، یو څوک اړتیا لري چي لومړی د ریاضیاتو سیسټم تسلسل فرض کړي چې په یو لحاظ دا د سیسټم موافق ثابت کیدو پرتله قوي وي.