13 Sep
2023
13 Sep
'23
8:24 p.m.
oh here it is provability is not equivalent to truth in the undefined/unknown approach unless we say the provability is undefined/unknown .