To be clear this is an explanation of the consequences of Gödel's Incompleteness Theorem
In my understanding, Godel created a system that mapped statements to numbers, and then looked at the numbers that represented statements like 'this statement is provable' and found a way to show that the equivalent number had a property that wasn't provable.
reducing a holy book to logic analysis of text still produces something not reliable..