dafydd
Banned
- Joined
- Feb 14, 2008
- Messages
- 35,398
Epix, here is Godel's Theorem. Please point out any references to god or religion.
To every w-consistent recursive class k of formulae there corresponds recursive class-signs r, such that nether v Gen r nor Neg (v Gen r) belongs to Flg (k) (where v is the free variable of r)
To every w-consistent recursive class k of formulae there corresponds recursive class-signs r, such that nether v Gen r nor Neg (v Gen r) belongs to Flg (k) (where v is the free variable of r)