In elementary introductions to mathematical analysis, the treatment of the logical and algebraic foundations of the subject is necessarily rather …