Exibimos as principais características do modelo cosmológico de Gödel (1949) e apresentamos a construção de sistemas gaussianos locais, cuja união infinita constitui um Atlas que cobre completamente a variedade. Mostramos também algumas propriedades dos observadores gaussianos.