@Sing Song:
Goedel’s theorems prove no such thing. They imply that there can be truths which cannot be known/proven (things cannot be said to be known without proof), but the proofs are dependent on present formulations of set theory, which may or may not be accurate.
