Joseph Liouville, por ejemplo, probó la existencia de los números trascendentes construyendo un ejemplo explicito.