Tertium non datur en topos de conjuntos finitos - Acuña Ortega, Osvaldo 1951