Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 ===
Link to graph
Log In
Improvements of the human condition