# 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] (current) 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 === |