Re: Godel proved maths inconsistent not incompleteness theorem

On 2008-03-27, in sci.logic, Charlie-Boo wrote:
You keep asking what system it applies to and I keep telling you that
it applies to ANY system for which the axioms hold. In particular, it
would apply to PA, Q, and any other system for which you set up the
axioms.

How's your CBL proof of the unprovability of "Robinson arithmetic is
consistent" in Robinson arithmetic coming up?

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: Godel did not destroy the Hilbert Frege Russell programme
    ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: nature of maths
    ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.math)
  • Re: Proof procedures and Language acceptors
    ... daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ... why change my titie? ...
    (sci.math)
  • Re: Small set theory.
    ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.math)
  • Re: Continuum hypothesis
    ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)