All hope for complete, rigorous logic and mathematics, destroyed by Godel's theorem.