Negative meta-reference It can be seen in various places in mathematics (with the proof by contradiction). Diagonal argument Gödel’s incompleteness theorems Cardinality of infinity Logic §