- #1

nomadreid

Gold Member

- 1,481

- 150

- I
- Thread starter nomadreid
- Start date

- #1

nomadreid

Gold Member

- 1,481

- 150

- #2

- 3,886

- 1,454

I don't know if any of the Robinson axioms can be removed while still leaving the incompleteness theorem in place. My guess would be No, but I've never seen any investigation of it.

- #3

- 9

- 8

1. ##\Delta_p + \Delta_q = \Delta_{p+q}##;

2. ##\Delta_p \times \Delta_q = \Delta_{p \times q}##;

3. For each ##p, q## such that ##p \not =q##, ##\Delta_p \not = \Delta_q##;

4. ##x \leq \Delta_p \rightarrow x = \Delta_0 \vee \dots \vee x = \Delta_p##;

5. ##x \leq \Delta_p \vee \Delta_p \leq x##.

On pages 53-54, they show that all these axioms are derivable from

- #4

nomadreid

Gold Member

- 1,481

- 150

- #5

- 9

- 8

You're welcome. Fortunately, the book is available as a very cheap Dover paperback, so it won't cost you much!

- #6

nomadreid

Gold Member

- 1,481

- 150

- Replies
- 16

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 6

- Views
- 2K

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 1K

- Replies
- 1

- Views
- 2K

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 24

- Views
- 1K

- Replies
- 2

- Views
- 4K

- Replies
- 25

- Views
- 5K