En el interior de cada topos existe una logica intermedia natural de finida por las clases de algebras de Heyting y esas algebras determinan cada logica intermedia. La construccion de las alegorias de Freyd es la que materializa el puente entre logicas intermedias y topos [F-S]. En este documento se expone la manera de encontrar el topos que modele una logica intermedia, en particular, la modelizacion de la logica de Godel.
