Kurt Gödel's 1931 incompleteness theorems paper

GPTKB entity