There is an explicit way to define what explicit is.
International Congress of Mathematics 2002, Beijing, August 23, 2002