Con el rechazo del principio del tercero excluido "en tanto que axioma", el remanente del sistema lógico tiene una propiedad de existencia de la cual carece el sistema tradicional: cada vez que