Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
set_theory [2015/10/08 13:53] nikolaj |
set_theory [2015/10/08 13:53] nikolaj |
||
|---|---|---|---|
| Line 138: | Line 138: | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
| === New symbols === | === New symbols === | ||
| - | Most of what follows is concerned with demonstrating existence and uniqueness statements from the axioms and then introducing new symbols ($\emptyset, \mathbb N$, etc.) enabling us to use those propositions more concisely. We understand them as particular terms with particular properties, expressed by the corresponding propositions. | + | Most of what follows is concerned with demonstrating existence and uniqueness statements from the axioms and then introducing new symbols ($\emptyset, \omega_{\mathbb N}$, etc.) enabling us to use those propositions more concisely. We understand them as particular terms with particular properties, expressed by the corresponding propositions. |
| === Regarding axiom systems and their strengths === | === Regarding axiom systems and their strengths === | ||
