How is mathematical different from logic?