Tegenverzameling

Het symbool van de 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.

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'}}\}$
• De Fietsen naar Maastricht wiki. Ook al wordt door sommigen beweerd dat deze deelverzameling reeds overaftelbaar is.
• $\{{\text{'De fietsen-naar-maastricht-wiki is een overaftelbare deelverzameling.'}}\}$

Een overoveraftelbare isomorfie met de tegenverzameling:

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