Resumen

Probamos que todo objeto k-finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito.

Palabras clave: teoría de topos, objetos k-finitos, números naturales.

Mathematics Subject Classification: 03G30, 18B25.