La ley generalmente no se utiliza en lógica intuicionista.