Construct rigorous definitions of limits, continuity, differentiation, and integration using completeness, sequences, compactness, and uniform convergence.