Originally Posted By: Leon Bowden

Suppose 'heterological' is heterological, then 'heterological' does not have the property for which it stands. But, the property for which it stands is the property of being heterological, that is, 'heterological' does not have the property of being heterological. However, if 'heterological' is not heterological it has the property for which it stands. But, the property for which it stands is the property of being heterological, that is, 'heterological' is heterological.


Thus proving Gödel's Incompleteness Theorem.