Se examinan desde el punto de vista proposicional, los requerimientos de un sistema de logica temporal adecuado para el desarrollo de una teoria de conjuntos en la cual el universo se expanda con el tiempo. Se propone un sistema tal y se prueban su consistencia, su validez y su completitud. Ademas se analizan semanticamente las consecuencias de anadir otros axiomas relevantes.