Развитие представлений о надёжности математического доказательства