A note on first-order arithmetic

Details A note on first-order arithmetic A note on first-order arithmetic

2010-10-06

arxiv.org/abs/1010.1282v6

Mathematics

General Mathematics

6 Pages; various errors corrected, some results changed

Scientific paper

This paper describes a system S' obtained by modifying first-order arithmetic to 'parameterise' the individual variables so that under any interpretation of S', the individual variables range over all and only the individuals assigned to the numerals under this interpretation. Since S' contains Peano arithmetic and is recursively axiomatised we can modify Goedel's technique to define a Goedel sentence for S', say (x)R[x]. S' may be shown to be inconsistent since (x)R[x] must be an S' theorem. Since the syntax of S' and S are identical however the inconsistency of S itself is implied by this result.

Affiliated with

Also associated with

No associations

Rating

A note on first-order arithmetic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A note on first-order arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A note on first-order arithmetic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508458