Exercise 3.4.6. Prove Lemma 3.4.9. (Hint: start with the set {0, 1}* and apply the replacement axiom, replacing each fun

[answerhappygod]

Exercise 3 4 6 Prove Lemma 3 4 9 Hint Start With The Set 0 1 And Apply The Replacement Axiom Replacing Each Fun 1 (39.64 KiB) Viewed 35 times

Exercise 3 4 6 Prove Lemma 3 4 9 Hint Start With The Set 0 1 And Apply The Replacement Axiom Replacing Each Fun 2 (26 KiB) Viewed 35 times

Exercise 3 4 6 Prove Lemma 3 4 9 Hint Start With The Set 0 1 And Apply The Replacement Axiom Replacing Each Fun 3 (98.86 KiB) Viewed 35 times

Exercise 3.4.6. Prove Lemma 3.4.9. (Hint: start with the set {0, 1}* and apply the replacement axiom, replacing each function f with the object ƒ−¹({1}).) See also Exercise 3.5.11.
Lemma 3.4.9. Let X be a set. Then the set is a set. Y: Y is a subset of X}
Axiom 3.6 (Replacement). Let A be a set. For any object x ¤ A, and any object y, suppose we have a statement P(x, y) pertaining to x and y, such that for each x EA there is at most one y for which P(x, y) is true. Then there exists a set {y: P(x, y) is true for some x € A}, such that for any object z, z ≤{y: P(x, y) is true for some x = A} ⇒ P(x, z) is true for some x € A.