هندسه تحلیلی و استدلال منطقی در ریاضیات