Laj ëd tricotomìa
La laj ëd tricotomìa a fortiss che minca nùmer real a l'é o negativ, o zero, o positiv.

La dimostrassion ëd costa laj a deuvra ël prinsipi dël ters barà fòra, donca a l'é nen costrutiva.
L.E.J. Brouwer a l'ha smonù n'esempi ëd nùmer real dont a l'é nen possìbil dimostré ëd fasson costrutiva ch'a l'é negativ, zero o positiv.

Anàlisi matemàtica