Por ejemplo, decir A o B, para un intuicionista significa que A o B pueden ser probados.