مدل ها، هم در علوم و هم در ریاضیات، باید از نظر درونی سازگار باشند و همچنین باید ابطال پذیر باشند (قابلیت رد کردن).