Сначала ситуацию мы доказываем себе, как теорему, а потом принимаем, как аксиому.
Алексей Капранов, источник