Proving that $\forall x\exists y(x = y)$
49994
Deduction of $\forall y \exists x (x=y)$
40609
Prove that $f(X)$ and $g(Y)$ are independent if $X$ and $Y$ are independent
21391
Proving Functions are Surjective
131357
Prove that $f(x,y)=xy$ is differentiable using the definition
109159
What's the intuition behind $(\exists y)(\mathscr{C}(y)\supset\mathscr{D})\supset((\forall x)\mathscr{C}(x)\supset\mathscr{D})$
5293
Show that the logic $ \ \forall x \exists y \ P(x,y) \ $ is not logically equivalent to $ \ \exists x \forall y \ P(x,y) \ $
7775
Show that $|x-y|\leq |x|+|y|$.
6535
Proof of for-all / there-exists "negation"?
114043
Prove the existence of a real number satisfying a property
96153
$ x^3<y^3 \iff x<y $ proof issue.
151984
Proving the existence of a metric space
140988
Prove $\exp(x)\exp(y)=\exp(y)\exp(x)$ if $[x,y]=0$.
133884
A proof using Yoneda lemma
108704
Help with proof of $|x+y| \geq |x|-|y|$
142724
Prove that for all integers $x$ and $y$, $x - y$ is odd if and only if $x + y$ is odd.
149354
Proof of continuity $f(x+y) = f(x) + f(y)$
76148
Show that $\exists c \in \mathbb{R} : f(c) = 0$