The central claim of this powerful philosophical exploration is that within any logic we have, there can be no coherent notion of all truth or of total knowledge.