Kompletigu la sekvan frazon: La teorio de la Granda Krako disvolviĝis el observoj pri la strukturo de la universo kaj el teoriaj konsideroj. En 1912, Vesto Slipher mezuris la unuan Doppler-ŝovon de "spiral nebulozo" (spiral nebulozo estas la malnoviĝinta termino por spiral-galaksio), kaj baldaŭ malkovris, ke preskaŭ ĉiuj tiaj nebuloj retiriĝas de la Tero. Li ne komprenis la kosmologiajn implicojn de tiu fakto, kaj efektive tiutempe ĝi estis
estas tre kontestata ĉu aŭ ne tiuj nebuloj estis "insuluniversoj" ekster nia Lakta Vojo. Dek jarojn poste, Alexander Friedmann, rusa kosmologo kaj matematikisto, derivis la ekvaciojn de Friedmann el la kampoekvacioj de Einstein, montrante, ke la universo eble disetendiĝas kontraste al la senmova universo-modelo proponita de Albert Einstein tiutempe.