Proving the security of cryptographic protocols is a counterexample to this. Sometimes basic assumptions are very difficult to catch.