Математика, Логика бөлүмү