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

Aftelbare deelverzamelingen van de tegenverzameling:

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

Een overoveraftelbare isomorfie met de tegenverzameling:

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