- #1

Dragonfall

- 1,030

- 4

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Dragonfall
- Start date

- #1

Dragonfall

- 1,030

- 4

- #2

CRGreathouse

Science Advisor

Homework Helper

- 2,842

- 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

Dragonfall

- 1,030

- 4

Fascinating. Thanks.

Share:

- Last Post

- Replies
- 4

- Views
- 381

- Last Post

- Replies
- 25

- Views
- 1K

- Replies
- 40

- Views
- 2K

- Replies
- 43

- Views
- 3K

- Replies
- 4

- Views
- 728

- Last Post

- Replies
- 2

- Views
- 782

- Replies
- 0

- Views
- 355

- Replies
- 55

- Views
- 3K

- Replies
- 62

- Views
- 6K

- Last Post

- Replies
- 19

- Views
- 809