Another proof of the Gödel—Rosser incompleíability theorem - Kalmár László (1950)