Beta Phase:
Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45
English
Français
العربية
Deutsch
🏠
/
Mathematics
/
Set Theory
/
Axiom of pairing
Axiom of pairing
For any two sets, there exists a set containing exactly them.
📜
The statement of the theorem
∀
x
∀
y
∃
z
(
x
∈
z
∧
y
∈
z
)
\forall x \forall y \exists z (x \in z \land y \in z)
∀
x
∀
y
∃
z
(
x
∈
z
∧
y
∈
z
)
.