assumption that there is no role for informal logic in mathematics. Next, it details the