PPRuNe Forums - View Single Post - Va

27th Aug 2002, 08:13

#8 (permalink)

Captain Stable

Join Date: May 2002

Location: Who can say?

Posts: 1,700

Likes: 0

Received 0 Likes on 0 Posts

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).