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:

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

Een overoveraftelbare isomorfie met de tegenverzameling:

• $\{x=y:x,y\in \mathbb {R} \land x\not =y\}$