Re: Godel proved maths inconsistent not incompleteness theorem ... Godel proved that mathematics was inconsistent ...axioms of mathematics. ...impredicative definitions ordained him to get. ... have only ended in paradox for this is what his axioms and impredicative ... (sci.logic)
Re: Classical mathematics is false-impredicative definitions ... upon and uses impredicative definitions i.e axiomatic theory. ... logic warn us about circular definitions.... If you had actually been paying attention, those books most likely ... good deal of modern mathematics itself" ... (sci.math)
Godel proves his own incompleteness theorems invalid ... principle and its devastating effects on classical mathematics... Yet Godel uses impredicative definitions in his first and second ... ?it covers ground quite similar to that covered in Godels orgiinal 1931 ... invalid as he uses invalid axioms ie axiom of reduciblity and axiom of ... (sci.logic)
Proof Gödels incompleteness theorem is invalid ... The Australian philosopher Colin leslie Dean points out that Godels uses ... On undecidable propositions of formal mathematical systems in The ...outlawing impredicative definitions vas that a lot of useful mathematics... (sci.math)
