Re: Jan Burse gives support that godels use of impredicative s

elsiemelsi schrieb:
(*) The collected works of Gödel

it is what he states in his 1931 paper and his On undecidable
propositions of formal mathematical systems

we are concerned with here not what he may have said in other places
and in these works he states he constructs impredicative statements -which
you admitt are problematical -and others say are invalid

as well as useing the axiom of reducibility


--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html


You are also always using secondary citations,
Fraenkel etc.. all over the place.

Where does your sudden purity come from?

I think it might especially helpful in understanding
Goedel, in reading all his writings.

.