Bernard Bolzano, mostró ejemplos de la correspondencia de las funciones 1-1.
Bolzano fue un filósofo, matemático y teólogo que hizo significantes contribuciones tanto a las matemáticas como a la Teoría de la Ciencia, en algunos aspectos constituye un interesante precedente de la lógica matemática.
Ingresó en la facultad de filosofía en la Universiada de Praga en el 1796, estudió filosofía y matemáticas. Bolzano escribió:
Mi especial placer por las matemáticas
La más importante e influyente contribución de este pensador se halla en sus ideas sobre lógica y teoría de conocimiento.
Se adelantó a los analistas rigurosos del siglo XIX, a saber: en el concepto de función continua y en la demostración de sus propiedades, en el criterio de convergencia de series, y en la existenica de funciones.