Математика, логика