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