Re: Logarithm of transfinite numbers

Any regular system with non-zero and finitely many axioms
might entrain said incompleteness, and that is what
Goedel says.

An axiomless system of natural deduction does not have
that problem.

True, because without axioms, you cannot generate a theorem.

Indeed, in the null axiom theory which is dually universally
axiomatized with all true statements trivially being true...

Huh? I though you said there were no axioms in this "null axiom
theory". Now you are contradicting yourself by saying that you are
"axiomitizing all true statements". So which is it? Are there axioms
or aren't there?

<remaining ranting snipped>

Regards,

Jonathan Hoyle

.

Relevant Pages

  • Re: Goedel - interesting problem?
    ... of the Dolan piece on Goedel and again thank all worthy critics. ... "...any set of axioms at least as rich as the axioms of arithmetic has ... "Arithmetic or math, but not exactly, includes true statements that cannot ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... For obvious reasons, ... >no set of axioms such that we can tell what's an axiom and what isn't. ... If that person rejects "axioms" as the "true statements which are ... the basic logic sense of a logical truth condition. ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... >>any given axioms, there are true sentences NOT provable from that set. ... There are two reasons for this. ... for "truth of mathematics". ... there are true statements that are unprovable. ...
    (sci.logic)
  • Re: Godels theorem is uninteresting?
    ... about an S1 in which only interesting true statements are provable ... it is only provable by a proof dependent on the axioms and interesting ... This means interestingness and provability are ... > Do you feel that Godel's Theorems contain self-reference, ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... >> will contain true statements that cannot be proved by it's axioms? ... >the set of consequences of some set of axioms, ... The usual language for arithmetic contains the numeral ... other explanation about the math theory. ...
    (sci.logic)