A first-order temporal calculus is constructed, with a natural semantics given by structures which grow with time. Rules and schemas of the calculus are developped to allow a temporal set theory based on it.