On a hitherto unutilized extension of the finitary standpoint”, Dialectica 12 (1958)

by K Gödel