Tomás de Aquino lo presentó en su quinta prueba de la existencia de Dios como un silogismo.