 Curry’s paradox |  dialetheism |  Gödel, Kurt |  Gödel, Kurt: incompleteness theorems |  logic: many-valued |  logic: provability |  self-reference |  Tarski, Alfred |  Tarski, Alfred: truth definitions |  truth |  truth: axiomatic theories of |  truth: revision theory of |  vagueness 