En este trabajo Bolzano aporta ejemplos de correspondencia biunívoca entre los elementos de un conjunto infinito y de un subconjunto propio del mismo, lo que permite caracterizar el concepto de conjunto infinito.