Jawelordening

De jawelordening is de verzameling met alle ware uitspraken. Het is gedefinieerd als het complement van de tegenverzameling en is uniek bepaald. De elementen van de jawelordening zijn geordend op hoe waar ze zijn. De volgende uitspraken zijn bijvoorbeeld als volgt geordend: "QWERTY is een toetsenbordindeling" (technisch gezien waar) < "QWERTY is een verwalging van een toetsenbord indeling" (feit). Een ander voorbeeld is: "Wouter heeft goede blaas- en zuigtechnieken" (incomplete waarheid) < "Wouter heeft de beste blaas- en zuigtechnieken ooit" (maximaal element in de jawelordening).

Onzekerheid over de waarheid van een bepaalde uitspraak of bewijs kan het makkelijkst opgelost worden door te controleren of het in de jawelordening zit.

Voorbeelden

Deelverzamelingen van de jawelordening:

• $\{\neg A\}$ voor $A\in {\tbinom {\diagup }{\bar {\swarrow }}}$.
• $\{B\}$ voor B een klein platonistische uitspraak.
• $\{{\text{'}}x{\text{ is een getal.'}}\}$ voor $x\in \mathbb {Q}$
• ZF
• $\{{\text{'Het universum is discreet.'}}\}$

Zelf is de jawelordening een deelverzameling van het getalles.