Quote about Godel's Theorems

"(Concerning the properties of a given thing) it will always have dimension which exceeds the grasp of the theory" --- Terrence McKenna

But this says nothing about whether a theory can be condensed, and it is condensation that can lead to relative proof.

Tautological incompleteness is actually inadequate against relative proof. Nor does theory need to prove the tautological.