Математический уровень строгости

Математиков часто -- и справедливо -- критикуют за то, что они ограничиваются доказательством существования, не предъявляя объект. Вот, например, все знают, что дифференцированию (в отличие от интегрирования) можно научить даже обезьяну. И где хоть одна?