This is an interesting read about the famous mathematician and logicist Kurt Gödel. The relevance comes from the realisation that not all truths can be proven. Even though these theorems are basically only applicable to the laws of mathematics, I think they offer a new perspective on many other things, depending on how one personally interprets the theistic philosophy.
f you are fascinated by this gentleman, you can read more here.
So how would we know they are truth’s?
That’s not quite what his first theorem says. It’s more like ‘in any formal system there are statements that cannot be proven or disproven’. Obviously if they cannot be proven or disproven a claim that such a statement is true is incorrect. The most obvious examples are self referential logical statements like ‘This statement is false.’ or it’s cousin: ‘The following statement is false. The preceding statement is true.’
