 dialetheism |  Gödel, Kurt: incompleteness theorems |  lambda calculus, the |  liar paradox |  logic: algebraic propositional |  logic: combinatory |  logic: linear |  logic: paraconsistent |  logic: substructural |  negation |  paradoxes: and contemporary logic |  Russell’s paradox |  self-reference |  set theory: alternative axiomatic theories 