Gödel's Second Theorem for Elementary arithmetic

✍ Scribed by Lawrence J. Pozsgay

• Publisher: John Wiley and Sons
• Year: 1968
• Tongue: English
• Weight: 737 KB
• Volume: 14
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19680140106

✦ Synopsis

GUDECS

SECOND THEOREM FOR ELEMENTARY ARITHMETTC by LAWRENCE J. POZSGAY in St. Louis, Missouri (U.S.A.)I)

'"I' -+ q]" = " ; ') * Ps("P", (1)) ' PS("Q", ( 2 ) ) .

5.1. Dpfinition.

A number n will be called a functor number iff there is a fun(*tor P such that n = "E"'. Similarly define term number and formula number.