Un teorema de finitud de Tarski en un topos arbitrario - Acuña Ortega, Osvaldo 1951