What Is Mathematical Reasoning In Discrete Mathematics