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.