oh here it is
provability is not equivalent to truth in the undefined/unknown
approach unless we say the provability is undefined/unknown .

Reply via email to