complete assignment

Assignment
Question 1
Two sets are identical if they have the same elements
In our case, we need a model of sets in which the extensionality axiom does not hold
i.e. a≠ b
It follows that:
U= [{a, b}, {a}, {a}. ϵ]
Where a ϵ {a}, a ϵ {a, b} and because a≠ b; then {a} ≠ {a, b} but for all x ϵ U, we have
X ϵ {a} ↔ x, ϵ {a, b}
Using the above relation, we thus have sets b & c and sets a & d as identical.
Question 2
Part 1
To prove that [{a}, {a, b}] = [{c}, {c, d}] for a= c and b= d
We first define axiom extensionality
Ɐx Ɐy (x =y ↔ Ɐz (z ϵ x↔ z ϵ y)
Assuming all x=a and y=b
Then;
A ϵ {a} and a ϵ {a, b}
Now that a=b, we have {a}= {a, b}
But for every x ϵ U
We get x ϵ {a} ↔ x ϵ {a, b}
Applying the initial principle for axioms thus, we get that
[{a}, {a, b}] = [{c}, {c, d}]
Part 2
Set of ordered pairs
Since *n is a multiple m* on the set of natural numbers {0, 1, 2,…}
We have
{0}, {0, 1}, {0, 1, 2}, {0, 1, 2, 3,…, n}
Sets of ordered pairs for every *m sets up to n* pairs
The relation is reflexive since every base set say {0} is duplicated in the subsequent set
Proof of reflexive property
A set of natural numbers is reflexive if the set of positive integers (x, y) ϵ R i.e. x + 2y= 1 is not satisfied by any (x, y) hence the reflexive property holds.
Part 3
Show by induction (11n – 6) is divisible by 5
We set the base case n= 0
We then have 110 – 60 = 1- 1= 0
Since every non- zero number divides 0 …