Kurt G6DELt

In the absence of a precise concept of what it is for evidence to be inspectable or abstract, it is not possible to give a strict proof of Bemays’

W. Hodges, Kurt G6DELt, ON A Hitherto, 2004 .