PPRuNe Forums - View Single Post - Va

27th August 2002 | 08:13

#8 (permalink)

Captain Stable

Joined: May 2002

Posts: 1,704

Likes: 1

From: Who can say?

Quote:

As Goedel said, to every w-consistent class k of formulae there correspond recursive class signs r, such that neither v Gen r nor negative (v Gen r) belongs to Flg k (where v is the free variable of r).