Godel's theorem is why I prefer systems that don't strive for completeness.