Prove that for each set $S$ that $S\notin S$ with regularity axiom.
74440
How does the axiom of regularity forbid self containing sets?
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
150385
The use of the Axiom of Choice in this proof of the sequence lemma
42150
Prove that $\forall x \neg P(x) \iff \neg \exists x P(x)$
39114
Prove that a set in $\mathbb R^3$ is not an algebraic set
141895
Proving that a sequence is monotone
145820
Mumford's regularity theorem
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
39708
Proving $(A\le B)\vee (B\le A)$ for sets $A$ and $B$
86465
Prove that every unbounded sequence contains a monotone subsequence that diverges to inifnity.
144787
Show that the set of all infinite subsets of $\mathbb{N}$ has cardinality greater than $\mathbb{N}$
3896
A closed set in $(A, \mathcal T_A)$ that is not closed in $(X, \mathcal T)$
86858
Prove that the set of palindromes are not regular languages using the pumping lemma.
49621
Proof of "well-founded iff there is no sequence $x_n$ s.t. $(x_{n+1}, x_n) \in R$"
158882
Prove the existence of some weird family of sets
109926
Axiom of Regularity and infinite sequences
123613
Double Complement of a set proof