Comment by scotty79

It's not really false I think. It's 'no', which is an answer to a question "Do I know this to be true?"

I think there should be a room for three values there: true, unprovable, false. Where false things are also unprovable. I wonder if Prolog has false, defined as "yes" of the opposite.