The basic concepts of one-variable calculus are treated rigorously. Set theory, the real number system, numerical sequences and series, continuity, differentiation.