- #1

- 1,030

- 4

- Thread starter Dragonfall
- Start date

- #1

- 1,030

- 4

- #2

CRGreathouse

Science Advisor

Homework Helper

- 2,820

- 0

- Axiom of Extensionality (ax-ext)
- Axiom of Separation (ax-sep)
- Null Set Axiom (ax-nul)
- Axiom of Power Sets (ax-pow)
- Axiom of Pairing (ax-pr)
- Axiom of Union (ax-un)

* Propositional calculus (ax-1, ax-2, ax-3, ax-mp), basic predicate calculus (ax-4, ax-5, ax-6, ax-7, ax-gen), the equality and substitution rules (ax-8, ax-9, ax-10, ax-11, ax-12, ax-13, ax-14), and the second Axiom of Quantifier Introduction (ax-17).

** The page also lists the Axiom of Distinct Variables (ax-16) and the old Axiom of Variable Substitution (ax-11o), but these have been proven redundant with the others.

- #3

- 1,030

- 4

Fascinating. Thanks.

- Last Post

- Replies
- 8

- Views
- 3K

- Last Post

- Replies
- 5

- Views
- 5K

- Last Post

- Replies
- 13

- Views
- 4K

- Replies
- 7

- Views
- 3K

- Replies
- 4

- Views
- 1K

- Replies
- 3

- Views
- 3K

- Last Post

- Replies
- 20

- Views
- 4K

- Last Post

- Replies
- 40

- Views
- 1K

- Replies
- 4

- Views
- 2K

- Replies
- 1

- Views
- 2K