Therefore T is not the set of all truths; the assumption that it is leads to the conclusion that it ...