Tegenverzameling

De tegenverzameling is een verzameling bestaande uit onwaarheden. Alles wat niet een ware uitspraak is, is een element in deze verzameling. In het bijzonder bevat de verzameling overoveraftelbaar ($\omega ^{2}$) veel tegenspraken.

Het symbool van de tegenverzameling

Voorbeelden

Aftelbaar:

• { ¬A, ¬B, ¬C}, met A,B,C waar
• {'THAT SHED IS WHERE THE CHOSEN ONES GO DINE WITH THE SKINNY GODS'}
• {'The brother gives the oats', 'The lamp is reachable', 'THE FIGURES ARE NO CONSUMERS, BROTHER'}
• {'Heed its light, brother'}

Overoveraftelbaar:

• {'x = y' | x, y ∈ ℝ ∧ x ≠ y }