Go back to square one. 예, 많은 도구가 가짜 공리를 반박하도록 설계되었지만 기본적인 요점은 여전히 사실입니다. Namely, anyone trying to prove properties of real systems often struggles and has to restart several times, going through many different approaches, before succeeding.