These were pulled from Exercises for $\S5$ of Chapter I in Bourbaki’s set theory book. (Assume $\mathfrak{T}$ has no constants, i.e. no letters in explicit axioms; thus we can abuse I.2.3.C3 without repercussions) Exercise 1.Solution.Exercise 1. Show the relation $x=y$ is functional in $x$ in $\mathfrak{T}$. Solution. Denote the relation $x=y$ by $R$. Let $a$ and…
These were pulled from Exercises for $\S$3 and Exercises for $\S$4 of Chapter I in Bourbaki's set theory book. Exercise 1.Solution.Exercise 1. Let $A$ be a relation in logical theory $\mathfrak{T}$. If $A\iff (\mbox{not } A)$ is a theorem in $\mathfrak{T}$, show that $\mathfrak{T}$ is contradictory. Solution. The negation of $A\iff (\mbox{not } A)$ is…