Kleene (1952) wrote alternative proofs to the Gödel's incompleteness theorems that enhanced their canonical status and made them easier to teach and understand.
Kleene (1952) a scris demonstrații alternative la teoremele de incompletitudine ale lui Gödel⁠(d), demonstrații care le-au consolidat acestora statutul canonic și le-au făcut mai ușor de predat și de înțeles.