A sarkigazságtól a bizonyításelméletig, avagy beszéljünk metanyelven. A Hét, 1973. 50. sz., 14–15.