¿Qué es?
No se ha añadido ninguna twiki todavía.
Una de las leyes del pensamiento tradicionales, cuya formulación ontológica es: «Todo enunciado es verdadero o falso», mientras que su formulación lógica es:
Para el intuicionismo, en algunos casos (de un conjunto infinito de números) este principio no es válido.