а разве принцип сжимающих отображений когда-нибудь принимался без доказательства?
Виноват, был невнимателен.
Примеров, когда некоторое утверждение в математике принималось без доказательства как "принцип", а потом превращалось в теорему, я не знаю. Но знаю пример, когда утверждение называлось постулатом и принималось как гипотеза, а потом было доказано. Постулат Бертрана, превратившийся в теорему Бертрана — Чебышёва. Возможно, в контексте разговора это будет кому-то интересно.