It is similar to the logical impossibility of proving that [[mathematics]] is free of errors. [[Godel]] proved that we can never know if [[mathematics]] is consistent, or error-free. | It is similar to the logical impossibility of proving that [[mathematics]] is free of errors. [[Godel]] proved that we can never know if [[mathematics]] is consistent, or error-free. |