more on this theme | more from this thinker
Full Idea
For functions, we know that for any y there exists an appropriate x, but we can't yet form a function H, as we have no way of defining one particular choice of x. Hence we need the axiom of choice.
Gist of Idea
We can only define functions if Choice tells us which items are involved
Source
Herbert B. Enderton (Elements of Set Theory [1977], 3:48)
Book Ref
Enderton,Herbert B.: 'Elements of Set Theory' [Posts + Telecoms 2006], p.48
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |