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 }}}$.
• Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{B\}} voor B een klein platonistische uitspraak.
• Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\text{'}x\text{ is een getal.'}\}} voor Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in \mathbb{Q}}
• ZF
• Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\text{'Het universum is discreet.'}\}}

Zelf is de jawelordening een deelverzameling van het getalles.