Re: Looking for Undecidable Propositions in Systems without a certain amount of arthimetic.



MoeBlee wrote:

On Aug 14, 2:29 pm, herbzet <herb...@xxxxxxxxx> wrote:

Right. You might call the system of only logical axioms "the empty
theory" or "the null theory" -- it's just validities, no contingent
formula are provable or refutable.

I know what you mean by that, but personally I wouldn't use the
terminology 'empty theory' since the theory, which is a certain set of
sentences, is not the empty set.

Well, it's empty of non-logical axioms. :)

--
hz
.

Relevant Pages

  • Re: Looking for Undecidable Propositions in Systems without a certain amount of arthimetic.
    ... terminology 'empty theory' since the theory, which is a certain set of ... is not the empty set. ...
    (sci.logic)
  • Re: is this as easy as i think? finite complement topology
    ... >WTS want to show R is compact (with this topology) ... I thought you wanted to show taht ANY subset of R is compact with this ... >look at any non empty subset U. Complement of U is finite. ... =>empty set element of U (as the empty set is subset of every ...
    (sci.math)
  • Re: 3vl 2vl and NULL
    ... >> properties that are represented by the values in my database. ... >>> If I look at my empty mug I can truthfully say ... >> that stores the amount of liquid in your mug. ... >thinking of the cell has holding an empty set would make sense, ...
    (comp.databases.theory)
  • Re: Definition of functions.
    ... So what we are getting here is that for every non empty set x ... that formula contradicts set theory. ... ,this definition will lead to any non empty set having injection from ...
    (sci.math)
  • Re: Triclass Theory
    ... What if F doesn't hold for any y, then c would be the empty set. ... So the sethood of emptyness of c depends on the ... without depending on the axiom of empty set. ...
    (sci.logic)