он выдвигал предположение, находил ему противоречие, а затем, корректируя исходное утверждение с учетом этого противоречия, формулировал новое предположение.