Pero la lógica intuicionista tiene una situación más complicada.