 Heyting goes on to explain that, although on these explanations there is a third case beside \(\vdash p\) and \(\vdash \neg p\), namely the case where one knows neither how to prove \(p\) nor how to refute it, this does not mean there is a third truth value: