Z-Infinity

Hi all,

Is the following version of Z inconsistent?

Primitives: e,=, k

k is a primitive constant.

1)Extensionality
2)Separation
3)Pairing
4)Union
5)Power

Define: x is finite iff exists R : R is a well ordering on x and
Converse(R) is a well ordering on x

6) Inductivity: forall x : x is dedekindian finite.

7) Infinity: not k is finite.

Zuhair



.

Relevant Pages

  • Re: Peanos second axiom.
    ... Ok, suppose you have a set theory T, that is extension of first order ... logic with identity and primitive constant M and primitive predicate ... Would that be inconsistent? ...
    (sci.logic)
  • Re: Z-Infinity
    ... Is the following version of Z inconsistent? ... k is a primitive constant. ... Inductivity: forall x: x is dedekindian finite. ... Infinity: not k is finite. ...
    (sci.logic)
  • Re: proof that the Naturals cannot be the Finite Integers; #53; 2nd ed; Euc
    ... If this still leads to a contradiction or fails to ... Simply put, if the primes goes to infinity, then the x/Lnis reverted ...
    (sci.math)