(According to scholars of his work, he didn't make a formal distinction between unprovability and the simple absence of proof.)
(По мнению исследователей его творчества, он не проводил формального различия между недоказуемостью и простым отсутствием доказательств.)